Skip to content

Commit

Permalink
chore(CMakeLists.txt): bump to 3.16.06.01
Browse files Browse the repository at this point in the history
  • Loading branch information
soonhokong committed Jun 9, 2016
1 parent e3088ee commit 1e510a8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ cmake_minimum_required(VERSION 2.8.12)
project(DREAL C CXX)
set(DREAL_VERSION_MAJOR 3)
set(DREAL_VERSION_MINOR 16)
set(DREAL_VERSION_PATCH 06)
set(DREAL_VERSION_PATCH 06.01)
set(PACKAGE_NAME dReal)
set(PACKAGE_VERSION "${DREAL_VERSION_MAJOR}.${DREAL_VERSION_MINOR}.${DREAL_VERSION_PATCH}")
set(PACKAGE_STRING "${PACKAGE_NAME} ${PACKAGE_VERSION}")
Expand Down

0 comments on commit 1e510a8

Please sign in to comment.