also fix version for the (old) Makefile

vprover · Oct 4, 2021 · a61c29d · a61c29d
1 parent 0b42c35
commit a61c29d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -548,7 +548,7 @@ all: #default make disabled
 ################################################################
 # automated generation of Vampire revision information
 
-VERSION_NUMBER = 4.5.1
+VERSION_NUMBER = 4.6
 
 # We extract the revision number from svn every time the svn meta-data are modified
 # (that's why there is the dependency on .svn/entries)