diff --git a/CMakeLists.txt b/CMakeLists.txt
index 77b8aa873d..5639d5cff0 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -930,7 +930,7 @@ endif() # COMPILE_TESTS
 #################################################################
 # automated generation of Vampire revision information from git #
 #################################################################
-set(VAMPIRE_VERSION_NUMBER 4.7)
+set(VAMPIRE_VERSION_NUMBER 4.8)
 
 execute_process(
     COMMAND git rev-parse --is-inside-work-tree
diff --git a/Makefile b/Makefile
index d0f6b6ff7f..6e09754e29 100644
--- a/Makefile
+++ b/Makefile
@@ -505,7 +505,7 @@ all: #default make disabled
 ################################################################
 # automated generation of Vampire revision information
 
-VERSION_NUMBER = 4.7
+VERSION_NUMBER = 4.8
 
 # 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)