1 files changed, 1 insertions, 0 deletions

diff --git a/NEWS b/NEWS
index 46f5deee2..9f17bfaa4 100644
--- a/NEWS
+++ b/NEWS
@@ -4,6 +4,7 @@ Changes since 1.3
 =================
 
 * Timed statistics are now properly updated even on process abort.
+* The LFSC proof checker has been incorporated into CVC4 sources.
 
 Changes since 1.2
 =================