From 2d02e4655e1b08d1ca9ee7c0aade40f59f046460 Mon Sep 17 00:00:00 2001
From: Martin Suda <sudam@cs.man.ac.uk>
Date: Mon, 11 Jul 2022 21:15:24 +0200
Subject: [PATCH] bump to 4.7

---
 CMakeLists.txt | 2 +-
 Makefile       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 07afc37f16..e34128f2e5 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -920,7 +920,7 @@ endif() # COMPILE_TESTS
 #################################################################
 # automated generation of Vampire revision information from git #
 #################################################################
-set(VAMPIRE_VERSION_NUMBER 4.6.1)
+set(VAMPIRE_VERSION_NUMBER 4.7)
 
 execute_process(
     COMMAND git rev-parse --is-inside-work-tree
diff --git a/Makefile b/Makefile
index 4353491e68..023cd5c4b8 100644
--- a/Makefile
+++ b/Makefile
@@ -508,7 +508,7 @@ all: #default make disabled
 ################################################################
 # automated generation of Vampire revision information
 
-VERSION_NUMBER = 4.6.1
+VERSION_NUMBER = 4.7
 
 # 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)