diff options
Diffstat (limited to 'src/parser/tptp/tptp.cpp')
-rw-r--r-- | src/parser/tptp/tptp.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser/tptp/tptp.cpp b/src/parser/tptp/tptp.cpp index e6b4969c3..136319225 100644 --- a/src/parser/tptp/tptp.cpp +++ b/src/parser/tptp/tptp.cpp @@ -28,7 +28,7 @@ #undef true #undef false -namespace CVC5 { +namespace cvc5 { namespace parser { Tptp::Tptp(api::Solver* solver, @@ -202,7 +202,7 @@ void Tptp::checkLetBinding(const std::vector<api::Term>& bvlist, { parseError("malformed let: LHS must be formula"); } - for (const CVC5::api::Term& var : vars) + for (const cvc5::api::Term& var : vars) { if (var.hasOp()) { @@ -569,4 +569,4 @@ Command* Tptp::makeAssertCommand(FormulaRole fr, } } // namespace parser -} // namespace CVC5 +} // namespace cvc5 |