From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Sat, 28 Feb 2015 02:47:09 +0000 (-0500)
Subject: Revert "dummy commit to force nightly builds"
X-Git-Tag: cvc5-1.0.0~6383
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f6833bca76627f970d3c61ee163a32869ffa1b10;p=cvc5.git

Revert "dummy commit to force nightly builds"

This reverts commit d2b44175c45a6d2c2fa9c3f8ec1ca1c433cb399b.
---

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