From 11a370348f92dfcf723b6a9318769ba3b27167e4 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 17 Jun 2014 17:29:49 -0400 Subject: Documentation clean-ups. --- NEWS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'NEWS') diff --git a/NEWS b/NEWS index 4f0a96c14..f75febe02 100644 --- a/NEWS +++ b/NEWS @@ -3,7 +3,6 @@ This file contains a summary of important user-visible changes. Changes since 1.3 ================= -* Timed statistics are now properly updated even on process abort. * The LFSC proof checker has been incorporated into CVC4 sources. * By default, CVC4 builds in "production" mode (optimized, with fewer internal checks on). The common alternative is a "debug" build, which @@ -14,6 +13,7 @@ Changes since 1.3 licensing and dependences, see the README file. * Small API adjustments to Datatypes to even out the API and make it function better in Java. +* Timed statistics are now properly updated even on process abort. * Better automatic handling of output language setting when using CVC4 via API. Previously, the "automatic" language setting was sometimes (though not always) defaulting to the internal "AST" language; it -- cgit v1.2.3