projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
0de8f7b
)
dummy commit to force nightly builds
author
Kshitij Bansal
<kshitij@cs.nyu.edu>
Thu, 19 Feb 2015 04:48:35 +0000
(23:48 -0500)
committer
Kshitij Bansal
<kshitij@cs.nyu.edu>
Thu, 19 Feb 2015 04:48:35 +0000
(23:48 -0500)
src/util/didyoumean_test.cpp
patch
|
blob
|
history
diff --git
a/src/util/didyoumean_test.cpp
b/src/util/didyoumean_test.cpp
index 0c46d5ffeab735a57e241d89dd85187c2508c113..7bffcf0536235a45d1a3ba4016a1a24fd36b6564 100644
(file)
--- 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>