From 47520a425080817967e4801dc7abf642c30ee60a Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 5 Apr 2012 01:13:21 +0000
Subject: [PATCH] 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
---
 src/printer/SMTLIB2Printer.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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";
-- 
2.47.3