From 8d999c1350ea5d7839cb98350371c3e4833b2cb6 Mon Sep 17 00:00:00 2001 From: Martin Suda Date: Wed, 12 Jul 2023 16:25:08 +0000 Subject: [PATCH] officially move to v4.8 --- CMakeLists.txt | 2 +- Makefile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 2bc79400f1..2a2cc286cf 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -914,7 +914,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 6caab5294d..dcfed35d35 100644 --- a/Makefile +++ b/Makefile @@ -507,7 +507,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)