From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 11 Dec 2013 04:43:02 +0000 (-0500)
Subject: Update NEWS.
X-Git-Tag: cvc5-1.0.0~6987^2~39
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7779136ce9121c5de15f4e4d454556762cc2e8c7;p=cvc5.git

Update NEWS.
---

diff --git a/NEWS b/NEWS
index e7c502015..46f5deee2 100644
--- a/NEWS
+++ b/NEWS
@@ -3,7 +3,7 @@ This file contains a summary of important user-visible changes.
 Changes since 1.3
 =================
 
-* none yet
+* Timed statistics are now properly updated even on process abort.
 
 Changes since 1.2
 =================