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 5932df347971118a5a42b2e56da71355d9f06810..bc33b7253fe2ca841979ac4633e5c9e9afa7766f 100644 (file)
--- 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);