diff options
Diffstat (limited to 'src/theory/uf/proof_equality_engine.h')
-rw-r--r-- | src/theory/uf/proof_equality_engine.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/theory/uf/proof_equality_engine.h b/src/theory/uf/proof_equality_engine.h index d80c1e7bc..49fde759e 100644 --- a/src/theory/uf/proof_equality_engine.h +++ b/src/theory/uf/proof_equality_engine.h @@ -317,11 +317,6 @@ class ProofEqEngine : public EagerProofGenerator * SAT-context-dependent. */ NodeSet d_keep; - /** - * Whether proofs are enabled. If this flag is false, then this class acts - * as a simplified interface to the EqualityEngine, without proofs. - */ - bool d_pfEnabled; /** Explain * * This adds to assumps the set of facts that were asserted to this |