comments added to vc_cvcParseExpr in c_interface

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

diff --git a/src/c_interface/c_interface.cpp b/src/c_interface/c_interface.cpp
index 8fc74d1363db33b531b24b6b8d7c22a1aeb4bc90..5606f71d1e010093bb6cd1f67986c7a51a1502cd 100644 (file)
--- a/src/c_interface/c_interface.cpp
+++ b/src/c_interface/c_interface.cpp
@@ -1472,8 +1472,14 @@ Expr vc_parseExpr(VC vc, char* infile) {
 
   cvcparse();
   nodelist aaa = b->GetAsserts();
+
+  //Don't add the query. It gets added automatically if the input file
+  //has QUERY in it 
+  //
+  //node bbb = b->CreateNode(BEEV::NOT,b->GetQuery());
   node o =  b->CreateNode(BEEV::AND,aaa);
-  
+  //node o = b->CreateNode(BEEV::AND,oo,bbb);
+
   nodestar output = new node(o);
   return output;
 } //end of vc_parseExpr()