diff options
Diffstat (limited to 'src/theory/combination_engine.h')
-rw-r--r-- | src/theory/combination_engine.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/combination_engine.h b/src/theory/combination_engine.h index daafc1f67..4413da603 100644 --- a/src/theory/combination_engine.h +++ b/src/theory/combination_engine.h @@ -111,6 +111,8 @@ class CombinationEngine void sendLemma(TrustNode trn, TheoryId atomsTo); /** Reference to the theory engine */ TheoryEngine& d_te; + /** The proof node manager */ + ProofNodeManager* d_pnm; /** Logic info of theory engine (cached) */ const LogicInfo& d_logicInfo; /** List of parametric theories of theory engine */ |