Fix to the SMTLIB2 printer. Symbols with spaces in the name didn't get output properly.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1623 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/printer/SMTLIB2Printer.cpp b/src/printer/SMTLIB2Printer.cpp
index 351f0005a7caaa218c711567c6b455d3ede613ed..5ee4e98a10d828738d395bc2b1371c11fe1028c2 100644 (file)
--- a/src/printer/SMTLIB2Printer.cpp
+++ b/src/printer/SMTLIB2Printer.cpp
@@ -62,8 +62,9 @@ void printVarDeclsToStream(ASTNodeSet& symbols, ostream& os)
 
       // Should be a symbol.
       assert(a.GetKind()== SYMBOL);
+      os << "|";
       a.nodeprint(os);
-
+      os << "|";
 
                switch (a.GetType())
                {
@@ -153,7 +154,9 @@ void printVarDeclsToStream(ASTNodeSet& symbols, ostream& os)
          outputBitVecSMTLIB2(n, os);
         break;
       case SYMBOL:
+        os << "|";
         n.nodeprint(os);
+        os << "|";
         break;
       case FALSE:
         os << "false";