diff options
Diffstat (limited to 'src/proof/proof_manager.cpp')
-rw-r--r-- | src/proof/proof_manager.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/proof_manager.cpp b/src/proof/proof_manager.cpp index 8b3dfd17a..d9fd9c37a 100644 --- a/src/proof/proof_manager.cpp +++ b/src/proof/proof_manager.cpp @@ -36,7 +36,7 @@ #include "theory/valuation.h" #include "util/hash.h" -namespace CVC5 { +namespace cvc5 { ProofManager::ProofManager(context::Context* context) : d_context(context), @@ -217,4 +217,4 @@ void ProofManager::addUnsatCore(Node formula) d_outputCoreFormulas.insert(formula); } -} // namespace CVC5 +} // namespace cvc5 |