diff options
Diffstat (limited to 'src/parser/parser_builder.cpp')
| -rw-r--r-- | src/parser/parser_builder.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser/parser_builder.cpp b/src/parser/parser_builder.cpp index f47558418..ffd993383 100644 --- a/src/parser/parser_builder.cpp +++ b/src/parser/parser_builder.cpp @@ -29,7 +29,7 @@ #include "smt2/smt2.h" #include "tptp/tptp.h" -namespace CVC4 { +namespace CVC5 { namespace parser { ParserBuilder::ParserBuilder(api::Solver* solver, @@ -217,5 +217,5 @@ ParserBuilder& ParserBuilder::withStringInput(const std::string& input) { return *this; } -}/* CVC4::parser namespace */ -}/* CVC4 namespace */ +} // namespace parser +} // namespace CVC5 |