diff options
Diffstat (limited to 'src/printer/cvc/cvc_printer.cpp')
-rw-r--r-- | src/printer/cvc/cvc_printer.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp index ab532bc43..867bc204a 100644 --- a/src/printer/cvc/cvc_printer.cpp +++ b/src/printer/cvc/cvc_printer.cpp @@ -42,7 +42,7 @@ using namespace std; -namespace CVC4 { +namespace CVC5 { namespace printer { namespace cvc { @@ -1612,6 +1612,6 @@ void CvcPrinter::toStreamNodeWithLetify(std::ostream& out, lbind->popScope(); } -}/* CVC4::printer::cvc namespace */ -}/* CVC4::printer namespace */ -}/* CVC4 namespace */ +} // namespace cvc +} // namespace printer +} // namespace CVC5 |