update version number

vprover · Jun 23, 2021 · 0afb7ed · 0afb7ed
1 parent 7f22064
commit 0afb7ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -957,7 +957,7 @@ endif() # COMPILE_TESTS
 #################################################################
 # automated generation of Vampire revision information from git #
 #################################################################
-set(VAMPIRE_VERSION_NUMBER 4.5.1)
+set(VAMPIRE_VERSION_NUMBER 4.6.0)
 
 execute_process(
     COMMAND git rev-parse --is-inside-work-tree