Update proof namespaces (#6614)

This removes namespace theory from proof utilities, and moves MethodId to its own file in src/proof/.

1 files changed, 1 insertions, 2 deletions

diff --git a/src/theory/rewriter.h b/src/theory/rewriter.h
index 1fc685992..3201bb2c8 100644
--- a/src/theory/rewriter.h
+++ b/src/theory/rewriter.h
@@ -24,11 +24,10 @@ namespace cvc5 {
 
 class TConvProofGenerator;
 class ProofNodeManager;
+class TrustNode;
 
 namespace theory {
 
-class TrustNode;
-
 namespace builtin {
 class BuiltinProofRuleChecker;
 }