diff --git a/Makefile b/Makefile
index 6a4a8b770f..65fa932bcd 100644
--- 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)