From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 5 Dec 2013 19:52:37 +0000 (-0500)
Subject: Fix NEWS.
X-Git-Tag: cvc5-1.0.0~7203
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9ac41cbe841066f5a222ef26bae227afc3bac3dc;p=cvc5.git

Fix NEWS.
---

diff --git a/NEWS b/NEWS
index 07c2227ea..908d58b7d 100644
--- a/NEWS
+++ b/NEWS
@@ -15,7 +15,8 @@ New features:
 * Increased compliance to SMT-LIBv2, numerous bugs and usability issues
   resolved.
 * New :command-verbosity SMT option to silence success and error messages
-  on a per-command basis.  API changes to Command infrastructure to support.
+  on a per-command basis, and API changes to Command infrastructure to
+  support this.
 
 Behavioral changes:
 * It is no longer permitted to request model or proof generation if there's