From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Sun, 15 Dec 2013 17:51:44 +0000 (-0600)
Subject: resolve merge issue.
X-Git-Tag: cvc5-1.0.0~7178
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8d89e06c34a0a22e006a74d48d4cc8843b293f73;p=cvc5.git

resolve merge issue.
---

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