Disable simplifications when printing back. I disabled the functionality when it...

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

diff --git a/src/main/main.cpp b/src/main/main.cpp
index 901e2756f91b97fdb4867fe606108d379ed41392..ab3f89b8e6462a3477b3a55226e1b6f27ef18685 100644 (file)
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -492,7 +492,7 @@ int main(int argc, char ** argv) {
                ParserInterface piTypeCheckDefault(*bm, &nfTypeCheckDefault);
 
                // If you are converting formats, you probably don't want it simplifying (at least I dont).
-               if (false && onePrintBack)
+               if (onePrintBack)
                {
                        parserInterface = &piTypeCheckDefault;
                }