From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Thu, 19 Feb 2015 04:48:35 +0000 (-0500)
Subject: dummy commit to force nightly builds
X-Git-Tag: cvc5-1.0.0~6388
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d2b44175c45a6d2c2fa9c3f8ec1ca1c433cb399b;p=cvc5.git

dummy commit to force nightly builds
---

diff --git a/src/util/didyoumean_test.cpp b/src/util/didyoumean_test.cpp
index 0c46d5ffe..7bffcf053 100644
--- a/src/util/didyoumean_test.cpp
+++ b/src/util/didyoumean_test.cpp
@@ -17,6 +17,7 @@
 
 // Compile: g++ didyoumean_test.cpp didyoumean.cpp
 // For debug compile with -DDIDYOUMEAN_DEBUG or -DDIDYOUMEAN_DEBUG1 or both
+//
 
 #include "didyoumean.h"
 #include <iostream>