NEWS
changeset 57212 f25dad3d6144
parent 57112 70395c65c0e3
child 57237 bc51864c2ac4
--- a/NEWS	Wed Jun 11 11:28:46 2014 +0200
+++ b/NEWS	Wed Jun 11 11:28:46 2014 +0200
@@ -382,8 +382,7 @@
 * SMT module:
   * A new version of the SMT module, temporarily called "SMT2", uses SMT-LIB 2
     and supports recent versions of Z3 (e.g., 4.3). The new proof method is
-    called "smt2", and the new Z3 is called "z3_new" in Sledgehammer and
-    elsewhere.
+    called "smt2".
 
 * Sledgehammer:
   - New prover "z3_new" with support for Isar proofs