hardcode an informative version string which does not rely on git bei…

…ng present at build time
vprover · Oct 19, 2023 · 93e8903 · 93e8903
1 parent f99adf4
commit 93e8903
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)";