diff options
Diffstat (limited to 'src/parser/tptp')
| -rw-r--r-- | src/parser/tptp/Tptp.g | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/parser/tptp/Tptp.g b/src/parser/tptp/Tptp.g index 873fde25c..afa072e6d 100644 --- a/src/parser/tptp/Tptp.g +++ b/src/parser/tptp/Tptp.g @@ -965,8 +965,8 @@ thfAtomTyping[CVC4::Command*& cmd] else { // as yet, it's undeclared - Type type = PARSER_STATE->mkSort(name); - cmd = new DeclareTypeCommand(name, 0, type); + Type atype = PARSER_STATE->mkSort(name); + cmd = new DeclareTypeCommand(name, 0, atype); } } | parseThfType[type] @@ -1317,8 +1317,8 @@ tffTypedAtom[CVC4::Command*& cmd] PARSER_STATE->parseError("Symbol `" + name + "' previously declared as a constant; cannot also be a sort"); } else { // as yet, it's undeclared - Type type = PARSER_STATE->mkSort(name); - cmd = new DeclareTypeCommand(name, 0, type); + Type atype = PARSER_STATE->mkSort(name); + cmd = new DeclareTypeCommand(name, 0, atype); } } | parseType[type] @@ -1336,8 +1336,8 @@ tffTypedAtom[CVC4::Command*& cmd] } } else { // as yet, it's undeclared - CVC4::Expr expr = PARSER_STATE->mkVar(name, type); - cmd = new DeclareFunctionCommand(name, expr, type); + CVC4::Expr aexpr = PARSER_STATE->mkVar(name, type); + cmd = new DeclareFunctionCommand(name, aexpr, type); } } ) |