# 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.