From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 25 Mar 2011 03:19:37 +0000 (+0000)
Subject: Fix remove an extra pair of brackets from LETs. Thanks to Ayrat Khalimov.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=9630d8300f293cc8fb5cb6d5766d9e1c8c7f2dd4;p=francis%2Fstp.git

Fix remove an extra pair of brackets from LETs. Thanks to Ayrat Khalimov.


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

diff --git a/src/printer/SMTLIBPrinter.cpp b/src/printer/SMTLIBPrinter.cpp
index 5932df3..bc33b72 100644
--- a/src/printer/SMTLIBPrinter.cpp
+++ b/src/printer/SMTLIBPrinter.cpp
@@ -92,12 +92,10 @@ static string tolower(const char * name)
 				NodeLetVarMap1[it->second] = it->first;
 				closing += ")";
 	          }
-
-			os << " ( " << endl;
-	        SMTLIB1_Print1(os, n, indentation, true);
-			os << closing;
-			os << " ) ) ";
-
+                  os << endl;
+                  SMTLIB1_Print1(os, n, indentation, true);
+                  os << closing;
+                  os << " )  ";
 	      }
 	    else
 	      SMTLIB1_Print1(os, n, indentation, false);