projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4f5c9db
)
Revert "dummy commit to force nightly builds"
author
Kshitij Bansal
<kshitij@cs.nyu.edu>
Sat, 28 Feb 2015 02:47:09 +0000
(21:47 -0500)
committer
Kshitij Bansal
<kshitij@cs.nyu.edu>
Sat, 28 Feb 2015 02:47:09 +0000
(21:47 -0500)
This reverts commit
d2b44175c45a6d2c2fa9c3f8ec1ca1c433cb399b
.
src/util/didyoumean_test.cpp
patch
|
blob
|
history
diff --git
a/src/util/didyoumean_test.cpp
b/src/util/didyoumean_test.cpp
index 7bffcf0536235a45d1a3ba4016a1a24fd36b6564..0c46d5ffeab735a57e241d89dd85187c2508c113 100644
(file)
--- 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>