diff options
Diffstat (limited to 'src/parser/cvc')
-rw-r--r-- | src/parser/cvc/Cvc.g | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index d9291c903..8df9ea6a0 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -1361,7 +1361,7 @@ bvNegTerm[CVC4::Expr& f] postfixTerm[CVC4::Expr& f] @init { Expr f2; - bool extract, left; + bool extract = false, left = false; std::vector<Expr> args; std::string id; } @@ -1718,7 +1718,7 @@ datatypeDef[std::vector<CVC4::Datatype>& datatypes] constructorDef[CVC4::Datatype& type] @init { std::string id; - CVC4::Datatype::Constructor* ctor; + CVC4::Datatype::Constructor* ctor = NULL; } : identifier[id,CHECK_UNDECLARED,SYM_SORT] { |