Start post-release for 1.0.8

mpreiner · Aug 31, 2023 · 1e01d2a · 1e01d2a
1 parent c8e12cd
commit 1e01d2a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cmake/version-base.cmake b/cmake/version-base.cmake
@@ -1,6 +1,6 @@
 # These are updated when making a release
 set(CVC5_LAST_RELEASE "1.0.8")
-set(CVC5_IS_RELEASE "true")
+set(CVC5_IS_RELEASE "false")
 
 # These are used in other places in cmake
 # If possible, they are updated by version.cmake