diff options
Diffstat (limited to 'src/smt/smt_engine.h')
-rw-r--r-- | src/smt/smt_engine.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h index 5aa2ba987..5ef8b63c6 100644 --- a/src/smt/smt_engine.h +++ b/src/smt/smt_engine.h @@ -860,6 +860,9 @@ class CVC4_PUBLIC SmtEngine /** Permit access to the underlying dump manager. */ smt::DumpManager* getDumpManager(); + /** Get a pointer to the Rewriter owned by this SmtEngine. */ + theory::Rewriter* getRewriter() { return d_rewriter.get(); } + /** * Get expanded assertions. * @@ -900,9 +903,6 @@ class CVC4_PUBLIC SmtEngine /** Get a pointer to the ProofManager owned by this SmtEngine. */ ProofManager* getProofManager() { return d_proofManager.get(); }; - /** Get a pointer to the Rewriter owned by this SmtEngine. */ - theory::Rewriter* getRewriter() { return d_rewriter.get(); } - /** Get a pointer to the StatisticsRegistry owned by this SmtEngine. */ StatisticsRegistry* getStatisticsRegistry() { |