From e6dc2c46fced4d8121d6d7bdd739d977f32d0462 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Wed, 29 May 2013 13:02:52 -0400 Subject: Per SMT-LIB spec, allow (set-info..) command to succeed implicitly with unknown key. --- NEWS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'NEWS') diff --git a/NEWS b/NEWS index eb991f74c..0532716a9 100644 --- a/NEWS +++ b/NEWS @@ -6,7 +6,7 @@ Changes since 1.2 * We no longer permit model or proof generation if there's been an intervening push/pop. * Increased compliance to SMT-LIBv2, numerous bugs and usability issues - resolved + resolved. Changes since 1.1 ================= -- cgit v1.2.3