From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 10 Nov 2011 12:45:04 +0000 (+0000)
Subject: Remove old command line flags.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=ac917b30c1678edeb4d66ef0c756c71d6ee9e90c;p=francis%2Fstp.git

Remove old command line flags.

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

diff --git a/src/main/main.cpp b/src/main/main.cpp
index ab94c36..5908bbd 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -126,12 +126,12 @@ int main(int argc, char ** argv) {
     "-a                     : disable potentially size-increasing optimisations\n";
   helpstring +=  
     "-b                     : print STP input back to cout\n";
-  helpstring +=
-    "-c                     : construct counterexample\n";
+  //helpstring +=
+  //  "-c                     : construct counterexample\n";
   helpstring +=  
     "--cryptominisat        : use cryptominisat2 as the solver\n";
-  helpstring +=
-    "-d                     : check counterexample\n";
+  //helpstring +=
+  //   "-d                     : check counterexample\n";
   helpstring +=  
     "--disable-cbitp        : disable constant bit propagation\n";
   helpstring +=