From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 21 May 2013 22:38:27 +0000 (-0400)
Subject: Fix an error that valgrind found.
X-Git-Tag: cvc5-1.0.0~7287^2~33^2~10
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6470699ee1c57d2843b330569bc02933222b631d;p=cvc5.git

Fix an error that valgrind found.
---

diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp
index 1c275add7..370bdfcf0 100644
--- 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),