From: Clark Barrett <clarkbarrett@google.com>
Date: Thu, 23 Apr 2015 17:26:11 +0000 (-0700)
Subject: Whitespace difference
X-Git-Tag: cvc5-1.0.0~6345
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d4afd65c3dcc26bab066507356ad187cbcb23d9e;p=cvc5.git

Whitespace difference
---

diff --git a/.cproject b/.cproject
index fdbe0b295..1e2de5d74 100644
--- a/.cproject
+++ b/.cproject
@@ -362,3 +362,4 @@
 		</buildTargets>
 	</storageModule>
 </cproject>
+