diff options
Diffstat (limited to 'src/prop/prop_engine.h')
-rw-r--r-- | src/prop/prop_engine.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h index ac2b35ad6..453c1c2af 100644 --- a/src/prop/prop_engine.h +++ b/src/prop/prop_engine.h @@ -298,9 +298,6 @@ class PropEngine /** List of all of the assertions that need to be made */ std::vector<Node> d_assertionList; - /** Theory registrar; kept around for destructor cleanup */ - theory::TheoryRegistrar* d_registrar; - /** A pointer to the proof node maneger to be used by this engine. */ ProofNodeManager* d_pnm; |