1 files changed, 5 insertions, 2 deletions
diff --git a/src/theory/builtin/theory_builtin.h b/src/theory/builtin/theory_builtin.h
index b4de83c02..fca05d7ff 100644
--- a/src/theory/builtin/theory_builtin.h
+++ b/src/theory/builtin/theory_builtin.h
@@ -37,7 +37,10 @@ class TheoryBuiltin : public Theory
                 const LogicInfo& logicInfo,
                 ProofNodeManager* pnm = nullptr);
 
-  TheoryRewriter* getTheoryRewriter() override { return &d_rewriter; }
+  /** get the official theory rewriter of this theory */
+  TheoryRewriter* getTheoryRewriter() override;
+  /** get the proof checker of this theory */
+  ProofRuleChecker* getProofChecker() override;
 
   std::string identify() const override;
 
@@ -48,7 +51,7 @@ class TheoryBuiltin : public Theory
   /** The theory rewriter for this theory. */
   TheoryBuiltinRewriter d_rewriter;
   /** Proof rule checker */
-  BuiltinProofRuleChecker d_bProofChecker;
+  BuiltinProofRuleChecker d_checker;
 }; /* class TheoryBuiltin */
 
 }  // namespace builtin