From 57a6f78cc2bc179e480c3d47d09fbfc1ec8d1f23 Mon Sep 17 00:00:00 2001
From: Martin Suda <martin.suda@gmail.com>
Date: Wed, 15 Jul 2020 11:59:04 +0200
Subject: [PATCH] version 4.5.1

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

diff --git a/CMakeLists.txt b/CMakeLists.txt
index d8c5fa3889..533247bea1 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -818,7 +818,7 @@ endif()
 #################################################################
 # automated generation of Vampire revision information from git #
 #################################################################
-set(VAMPIRE_VERSION_NUMBER "4.5.0")
+set(VAMPIRE_VERSION_NUMBER "4.5.1")
 
 execute_process(
     COMMAND git rev-parse --is-inside-work-tree
diff --git a/Makefile b/Makefile
index f0a761a10a..68beb9f823 100644
--- a/Makefile
+++ b/Makefile
@@ -557,7 +557,7 @@ all:#default make disabled
 ################################################################
 # automated generation of Vampire revision information
 
-VERSION_NUMBER = 4.5.0
+VERSION_NUMBER = 4.5.1
 
 # 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)