projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: a722607)
Fix NEWS.
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 5 Dec 2013 19:52:37 +0000 (14:52 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 5 Dec 2013 20:06:17 +0000 (15:06 -0500)
NEWS patch | blob | history

diff --git a/NEWS b/NEWS
index 07c2227ea2f3e49f11fc16bbea573455a0b48dff..908d58b7daaeb1d9ba751ccc9da8beba337e02e0 100644 (file)
--- 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