projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2f2eaaa
)
Remove private #include.
author
Morgan Deters
<mdeters@cs.nyu.edu>
Tue, 13 Jan 2015 19:18:09 +0000
(14:18 -0500)
committer
Morgan Deters
<mdeters@cs.nyu.edu>
Tue, 13 Jan 2015 19:18:09 +0000
(14:18 -0500)
src/parser/parser.cpp
patch
|
blob
|
history
diff --git
a/src/parser/parser.cpp
b/src/parser/parser.cpp
index dc44ed5ba49a7eaf7c8231268ddb19caee98451c..aa91a5a1eceebef0bc970bdc61f7d6d53fc74899 100644
(file)
--- a/
src/parser/parser.cpp
+++ b/
src/parser/parser.cpp
@@
-26,7
+26,6
@@
#include "parser/parser_exception.h"
#include "expr/command.h"
#include "expr/expr.h"
-#include "expr/node.h"
#include "expr/kind.h"
#include "expr/type.h"
#include "util/output.h"