projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
48d863e
)
Fix an error that valgrind found.
author
Morgan Deters
<mdeters@cs.nyu.edu>
Tue, 21 May 2013 22:38:27 +0000
(18:38 -0400)
committer
Morgan Deters
<mdeters@cs.nyu.edu>
Tue, 21 May 2013 22:40:06 +0000
(18:40 -0400)
src/parser/parser.cpp
patch
|
blob
|
history
diff --git
a/src/parser/parser.cpp
b/src/parser/parser.cpp
index 1c275add7c68b6a05ae931dfaeac390cf8c6c789..370bdfcf0356202063b44756bf3edb99f36bbc1a 100644
(file)
--- a/
src/parser/parser.cpp
+++ b/
src/parser/parser.cpp
@@
-42,6
+42,7
@@
Parser::Parser(ExprManager* exprManager, Input* input, bool strictMode, bool par
d_input(input),
d_symtabAllocated(),
d_symtab(&d_symtabAllocated),
+ d_assertionLevel(0),
d_anonymousFunctionCount(0),
d_done(false),
d_checksEnabled(true),