git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk...

diff --git a/src/main/main.cpp b/src/main/main.cpp
index 81201d5b9bb1de43bd55036b4c25a46b8be59216..2bbc363f4350d5998eaf7796225033c603d7d42f 100644 (file)
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -185,10 +185,17 @@ int main(int argc, char ** argv) {
   
   ASTNode asserts = (*(ASTVec*)AssertsQuery)[0];
   ASTNode query   = (*(ASTVec*)AssertsQuery)[1];  
-  if(print_STPinput_back_flag) {
-    print_STPInput_Back(asserts, query);
-    return 0;
-  }
+  if(print_STPinput_back_flag) 
+    {
+      if(smtlib_parser_flag) 
+       {         
+       }
+      else 
+       {
+         print_STPInput_Back(asserts, query);
+       }
+      return 0;
+    } //end of PrintBack if
 
   GlobalBeevMgr->TopLevelSAT(asserts, query);  
   return 0;