diff options
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/main.cpp | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp index 9c2464b8d..c21a7bdac 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -281,11 +281,7 @@ int runCvc4(int argc, char* argv[]) { Message() << Configuration::getPackageName() << " " << Configuration::getVersionString(); if(Configuration::isSubversionBuild()) { - Message() << " [subversion " << Configuration::getSubversionBranchName() - << " r" << Configuration::getSubversionRevision() - << (Configuration::hasSubversionModifications() ? - " (with modifications)" : "") - << "]"; + Message() << " [" << Configuration::getSubversionId() << "]"; } Message() << (Configuration::isDebugBuild() ? " DEBUG" : "") << " assertions:" |