diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index aa821c975..3fecdb943 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -2,7 +2,7 @@ cmake_minimum_required(VERSION 2.8.7) project(DREAL C CXX) set(DREAL_VERSION_MAJOR 3) set(DREAL_VERSION_MINOR 16) -set(DREAL_VERSION_PATCH 02) +set(DREAL_VERSION_PATCH 03-TOYOTA) set(PACKAGE_NAME dReal) set(PACKAGE_VERSION "${DREAL_VERSION_MAJOR}.${DREAL_VERSION_MINOR}.${DREAL_VERSION_PATCH}") set(PACKAGE_STRING "${PACKAGE_NAME} ${PACKAGE_VERSION}")