From c64799a735cc9fecb8e618b2c66b252d7cda549d Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 30 Jun 2011 03:56:58 +0000
Subject: some things I had laying around in a directory but never got
 committed; minor fix-ups to documentation and some node stuff

---
 src/main/main.cpp | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'src/main/main.cpp')

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:"
-- 
cgit v1.2.3