1 files changed, 1 insertions, 1 deletions
diff --git a/NEWS b/NEWS
index 431c95980..19215fd97 100644
--- a/NEWS
+++ b/NEWS
@@ -99,4 +99,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>  Mon, 16 Jun 2014 22:23:12 -0400
+-- Morgan Deters <mdeters@cs.nyu.edu>  Wed, 02 Jul 2014 14:45:05 -0400