From a61c29dfc3e2828eddd491560886280bc7489050 Mon Sep 17 00:00:00 2001
From: Martin Suda <sudam@cs.man.ac.uk>
Date: Mon, 4 Oct 2021 15:54:14 +0200
Subject: [PATCH] also fix version for the (old) Makefile

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)