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)";