diff options
Diffstat (limited to 'src/theory/arith/congruence_manager.h')
-rw-r--r-- | src/theory/arith/congruence_manager.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/theory/arith/congruence_manager.h b/src/theory/arith/congruence_manager.h index 3050f5821..b847c63ae 100644 --- a/src/theory/arith/congruence_manager.h +++ b/src/theory/arith/congruence_manager.h @@ -114,11 +114,6 @@ class ArithCongruenceManager : protected EnvObj eq::EqualityEngine* d_ee; /** The equality engine we allocated */ std::unique_ptr<eq::EqualityEngine> d_allocEe; - /** The sat context */ - context::Context* d_satContext; - /** The user context */ - context::UserContext* d_userContext; - /** proof manager */ ProofNodeManager* d_pnm; /** A proof generator for storing proofs of facts that are asserted to the EQ |