diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-16 17:18:05 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-16 17:18:05 -0500 |
| commit | 54abd196cb43422c77a74cb139f3aaebaa695639 (patch) | |
| tree | 2a65e959b8d17d06fc953320ae15575133b95d17 /src/theory/theory_engine.h | |
| parent | 9c4d548af9a14c18a6d69b41bba3e36054d37c0c (diff) | |
Remove equality inference option for quantifiers (#3282)
Diffstat (limited to 'src/theory/theory_engine.h')
| -rw-r--r-- | src/theory/theory_engine.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index 23d3282de..587d3693c 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -174,15 +174,12 @@ class TheoryEngine { void eqNotifyNewClass(TNode t) override { d_te.eqNotifyNewClass(t); } void eqNotifyPreMerge(TNode t1, TNode t2) override { - d_te.eqNotifyPreMerge(t1, t2); } void eqNotifyPostMerge(TNode t1, TNode t2) override { - d_te.eqNotifyPostMerge(t1, t2); } void eqNotifyDisequal(TNode t1, TNode t2, TNode reason) override { - d_te.eqNotifyDisequal(t1, t2, reason); } };/* class TheoryEngine::NotifyClass */ NotifyClass d_masterEENotify; |