Update NEWS file.

diff --git a/NEWS b/NEWS
index a706a3fa94e80823cc791f8c000def70d72ad7fe..0000eda695451ceba09cddf1f8e380a46a65f40a 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -18,6 +18,7 @@ Changes since 1.2
 * Exit codes are now more standard for UNIX command-line tools.  Exit code
   zero means no error---but the result could be sat, unsat, or unknown---and
   nonzero means error.
+* bv2nat/int2bv functionality
 
 Changes since 1.1
 =================
@@ -57,4 +58,4 @@ Changes since 1.0
   "unsat") as well.  Now, single -q silences messages and warnings, and
   double -qq silences all output (except on exception or signal).
 
--- Morgan Deters <mdeters@cs.nyu.edu>  Wed, 27 Nov 2013 11:20:58 -0500
+-- Morgan Deters <mdeters@cs.nyu.edu>  Mon, 02 Dec 2013 16:58:50 -0500