Fix an error that valgrind found.
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 21 May 2013 22:38:27 +0000 (18:38 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 21 May 2013 22:40:06 +0000 (18:40 -0400)
src/parser/parser.cpp

index 1c275add7c68b6a05ae931dfaeac390cf8c6c789..370bdfcf0356202063b44756bf3edb99f36bbc1a 100644 (file)
@@ -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),