diff options
Diffstat (limited to 'src/proof/unsat_core.cpp')
-rw-r--r-- | src/proof/unsat_core.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/unsat_core.cpp b/src/proof/unsat_core.cpp index 1c7a6a556..2415daf98 100644 --- a/src/proof/unsat_core.cpp +++ b/src/proof/unsat_core.cpp @@ -20,7 +20,7 @@ #include "printer/printer.h" #include "smt/smt_engine_scope.h" -namespace CVC4 { +namespace CVC5 { UnsatCore::UnsatCore(const std::vector<Node>& core) : d_useNames(false), d_core(core), d_names() @@ -58,4 +58,4 @@ std::ostream& operator<<(std::ostream& out, const UnsatCore& core) { return out; } -}/* CVC4 namespace */ +} // namespace CVC5 |