]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
adding printback code.
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Sat, 5 Sep 2009 00:31:17 +0000 (00:31 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Sat, 5 Sep 2009 00:31:17 +0000 (00:31 +0000)
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@189 e59a4935-1847-0410-ae03-e826735625c1

src/main/main.cpp

index 8a25a4b9b11996c393691116967333334f98b83c..364d4bef0afec240acef65016ac7fba36b921b44 100644 (file)
@@ -185,5 +185,11 @@ int main(int argc, char ** argv) {
   ASTNode asserts = (*(ASTVec*)AssertsQuery)[0];
   ASTNode query   = (*(ASTVec*)AssertsQuery)[1];
   GlobalBeevMgr->TopLevelSAT(asserts, query);
+
+  //   if(print_STPinput_back_flag) {
+  //     asserts.PL_Print(cout);
+  //     query.PL_Print(cout);
+  //   }
+
   return 0;
 }//end of Main