]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
Fix to the SMTLIB2 printer. Symbols with spaces in the name didn't get output properly.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 5 Apr 2012 01:13:21 +0000 (01:13 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 5 Apr 2012 01:13:21 +0000 (01:13 +0000)
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1623 e59a4935-1847-0410-ae03-e826735625c1

src/printer/SMTLIB2Printer.cpp

index 351f0005a7caaa218c711567c6b455d3ede613ed..5ee4e98a10d828738d395bc2b1371c11fe1028c2 100644 (file)
@@ -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";