From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 3 Oct 2014 15:16:57 +0000 (-0400)
Subject: Note array const support in NEWS
X-Git-Tag: cvc5-1.0.0~6603
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e6e4bf1f11e0c09a8fd414aa4f91e9bbe3eb19cd;p=cvc5.git

Note array const support in NEWS
---

diff --git a/NEWS b/NEWS
index 2589fda87..fc8a38864 100644
--- a/NEWS
+++ b/NEWS
@@ -5,6 +5,7 @@ Changes since 1.4
 
 * Support for unsat cores.
 * Simplification mode "incremental" no longer supported.
+* Support for array constants in constraints.
 
 Changes since 1.3
 =================