diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-06-30 03:56:58 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-06-30 03:56:58 +0000 |
commit | c64799a735cc9fecb8e618b2c66b252d7cda549d (patch) | |
tree | 36d97c2bfd3a911c936ae8f65d7e21d7ffd064dd /src/main | |
parent | b906fe1d71ecb238365ecc8bcca8b5bb1719eb56 (diff) |
some things I had laying around in a directory but never got committed; minor fix-ups to documentation and some node stuff
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:" |