Updating README to reflect filename change

msoos · Apr 9, 2014 · ce29a1a · ce29a1a
1 parent 7ba3f1c
commit ce29a1a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.rst b/README.rst
@@ -53,7 +53,7 @@ The files has 3 clauses and 2 variables, this is reflected in the header
 must be False, and either 1 has to be False, 2 has to be True or 3 has to be
 True. The only solution to this problem is::
 
-  $ cryptominisat4 --verb 0 file.cnf
+  $ cryptominisat --verb 0 file.cnf
   s SATISFIABLE
   v 1 -2 3 0