From bdecd2298c84f00096c5fcc7b68e7129b00ecebf Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 22 Sep 2019 09:17:17 -0700 Subject: [PATCH] fix verion numbering Signed-off-by: Nikolaj Bjorner --- CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index f46cfaeee..6310f3c82 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -11,7 +11,7 @@ if (POLICY CMP0042) endif() set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake") -project(Z3 VERSION 4.8.9.7.0 LANGUAGES CXX) +project(Z3 VERSION 4.8.9.7 LANGUAGES CXX) ################################################################################ # Project version