From 9630d8300f293cc8fb5cb6d5766d9e1c8c7f2dd4 Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 25 Mar 2011 03:19:37 +0000
Subject: [PATCH] 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
---
 src/printer/SMTLIBPrinter.cpp | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

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