Skip to content

Commit bba9d11

Browse files
fix minor version back to 7
Signed-off-by: Nikolaj Bjorner <[email protected]>
1 parent 3e6080b commit bba9d11

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

CMakeLists.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ if (POLICY CMP0042)
1111
endif()
1212

1313
set(CMAKE_USER_MAKE_RULES_OVERRIDE_CXX "${CMAKE_CURRENT_SOURCE_DIR}/cmake/cxx_compiler_flags_overrides.cmake")
14-
project(Z3 VERSION 4.8.9.0 LANGUAGES CXX)
14+
project(Z3 VERSION 4.8.7.0 LANGUAGES CXX)
1515

1616
################################################################################
1717
# Project version

0 commit comments

Comments
 (0)