# HG changeset patch
# User blanchet
# Date 1409179238 -7200
# Node ID d1311dd7801256f073fec06a71639bad8f6036e5
# Parent  e9ab6f4c650be867f78e3e24b3ee3781174fd3d1
minor NEWS fix

diff -r e9ab6f4c650b -r d1311dd78012 NEWS
--- a/NEWS	Thu Aug 28 00:40:38 2014 +0200
+++ b/NEWS	Thu Aug 28 00:40:38 2014 +0200
@@ -63,7 +63,7 @@
 * Old and new SMT modules:
   - The old 'smt' command has been renamed 'old_smt' and moved to
     'src/HOL/Library/Old_SMT.thy'. It provided for compatibility, until
-    applications have been ported to use the new 'smt2' command. For the
+    applications have been ported to use the new 'smt' command. For the
     command to work, an older version of Z3 (e.g. Z3 3.2 or 4.0) must be
     installed, and the environment variable "OLD_Z3_SOLVER" must point to
     it.