Fix comment.:

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

diff --git a/src/c_interface/c_interface.h b/src/c_interface/c_interface.h
index 5b64ef531f82a79406fb33876e4ed8dca34a4d90..de0dbd5e63967d95868a00ada705d1e9d27d7577 100644 (file)
--- a/src/c_interface/c_interface.h
+++ b/src/c_interface/c_interface.h
@@ -204,12 +204,10 @@ extern "C" {
   Expr vc_simplify(VC vc, Expr e);
 
   //! Check validity of e in the current context. e must be a FORMULA
-  //
-  //if returned 0 then input is INVALID.
-  //
-  //if returned 1 then input is VALID
-  //
-  //if returned 2 then ERROR
+  //returns 0 -> the input is INVALID
+  //returns 1 -> the input is VALID
+  //returns 2 -> then ERROR
+  //returns 3 -> then TIMEOUT
 
   // NB. The timeout is a soft timeout, use the -g flag for a hard timeout that
   // will abort automatically. The soft timeout is checked sometimes in the code,
@@ -218,7 +216,6 @@ extern "C" {
   // the timeout yet..
   int vc_query(VC vc, Expr e, int timeout_ms= -1);
 
-
   //! Return the counterexample after a failed query.
   Expr vc_getCounterExample(VC vc, Expr e);