From: Clark Barrett <barrett@cs.nyu.edu>
Date: Thu, 9 Jun 2016 18:04:41 +0000 (-0700)
Subject: Dummy commit.
X-Git-Tag: cvc5-1.0.0~6049^2~6^2~4
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3fa3977d6644962f908bb0d386a64f1743708314;p=cvc5.git

Dummy commit.
---

diff --git a/NEWS b/NEWS
index 89ea1c265..91732d922 100644
--- a/NEWS
+++ b/NEWS
@@ -1,4 +1,4 @@
-This file contains a summary of important user-visible changes.
+This file contains a summary of important user-visible changes. 
 
 Changes since 1.4
 =================