From 93e89036f3e8eb502225f62189fe0176667d1b1b Mon Sep 17 00:00:00 2001
From: Martin Suda <martin.suda@cvut.cz>
Date: Thu, 19 Oct 2023 11:02:15 +0000
Subject: [PATCH] hardcode an informative version string which does not rely on
 git being present at build time

---
 version.cpp.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/version.cpp.in b/version.cpp.in
index 2158ca7be5..3066a4cd11 100644
--- a/version.cpp.in
+++ b/version.cpp.in
@@ -1,2 +1,2 @@
 // version.cpp is automatically generated from version.cpp.in, see CMakeLists.txt for details
-const char* VERSION_STRING = "Vampire ${VAMPIRE_VERSION_NUMBER} (commit ${GIT_COMMIT_DESCRIPTION})";
+const char* VERSION_STRING = "Vampire ${VAMPIRE_VERSION_NUMBER} HO - Sledgehammer schedules (2023-10-19)";