# HG changeset patch
# User blanchet
# Date 1402478926 -7200
# Node ID f25dad3d6144f5b4703a4e7698f562b5776ce143
# Parent  cc59d49bdf64cd9fd74b3c37eddbdb0e0fdfc9fd
updated NEWS slightly

diff -r cc59d49bdf64 -r f25dad3d6144 NEWS
--- 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