diff options
Diffstat (limited to 'src/theory/theory_inference_manager.h')
| -rw-r--r-- | src/theory/theory_inference_manager.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/theory_inference_manager.h b/src/theory/theory_inference_manager.h index 97baeaa40..496a7f0f1 100644 --- a/src/theory/theory_inference_manager.h +++ b/src/theory/theory_inference_manager.h @@ -97,6 +97,8 @@ class TheoryInferenceManager * since the last call to reset. */ bool hasSent() const; + /** Get the underlying proof equality engine */ + eq::ProofEqEngine* getProofEqEngine(); //--------------------------------------- propagations /** * T-propagate literal lit, possibly encountered by equality engine, |