diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-03-05 11:42:54 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-05 11:42:54 -0800 |
| commit | 04039407e6308070c148de0d5e93640ec1b0a341 (patch) | |
| tree | b66f63d49df0713b1ca2a440bec89f1d60af32a4 /src/parser/tptp/Tptp.g | |
| parent | 18fe192c29a9a2c37d1925730af01e906b9888c5 (diff) | |
Enable -Wshadow and fix warnings. (#3909)
Fixes all -Wshadow warnings and enables the -Wshadow compile flag globally.
Co-authored-by: Clark Barrett <barrett@cs.stanford.edu>
Co-authored-by: Andres Noetzli <andres.noetzli@gmail.com>
Co-authored-by: Aina Niemetz <aina.niemetz@gmail.com>
Co-authored-by: Alex Ozdemir <aozdemir@hmc.edu>
Co-authored-by: makaimann <makaim@stanford.edu>
Co-authored-by: yoni206 <yoni206@users.noreply.github.com>
Co-authored-by: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Co-authored-by: AleksandarZeljic <zeljic@stanford.edu>
Co-authored-by: Caleb Donovick <cdonovick@users.noreply.github.com>
Co-authored-by: Amalee <amaleewilson@gmail.com>
Co-authored-by: Scott Kovach <dskovach@gmail.com>
Co-authored-by: ntsis <nekuna@gmail.com>
Diffstat (limited to 'src/parser/tptp/Tptp.g')
| -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); } } ) |