From e6e4bf1f11e0c09a8fd414aa4f91e9bbe3eb19cd Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 3 Oct 2014 11:16:57 -0400 Subject: [PATCH] Note array const support in NEWS --- NEWS | 1 + 1 file changed, 1 insertion(+) 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 ================= -- 2.30.2