diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-19 12:02:20 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-19 14:02:20 -0500 |
commit | 733083c3bb6700b70ff31c3a679d519f493b680f (patch) | |
tree | 57a707a1ce1204792557d90807f22506e71601ab /CMakeLists.txt | |
parent | 11c1fba70098cc72c59b2d335249332790287c20 (diff) |
Update version information post 1.8 release (#4635)
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index e4d4aaeda..a44805482 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -6,7 +6,7 @@ cmake_minimum_required(VERSION 3.2) project(cvc4) set(CVC4_MAJOR 1) # Major component of the version of CVC4. -set(CVC4_MINOR 8) # Minor component of the version of CVC4. +set(CVC4_MINOR 9) # Minor component of the version of CVC4. set(CVC4_RELEASE 0) # Release component of the version of CVC4. # Extraversion component of the version of CVC4. |