From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 5 Apr 2012 01:13:21 +0000 (+0000)
Subject: Fix to the SMTLIB2 printer. Symbols with spaces in the name didn't get output properly.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=47520a425080817967e4801dc7abf642c30ee60a;p=francis%2Fstp.git

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 351f000..5ee4e98 100644
--- 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";