diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-02 13:01:50 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-02 13:01:50 -0500 |
| commit | a84b54ea155251af6254237816e449589591b33c (patch) | |
| tree | 932321bb441693d7b2fc2539047db204ee2a097b /src/theory/theory_engine.h | |
| parent | 9b9cd3a304f5830942a8b715b19e3cac0a771289 (diff) | |
Remove references to deprecated propagate as decision feature (#2258)
Diffstat (limited to 'src/theory/theory_engine.h')
| -rw-r--r-- | src/theory/theory_engine.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index 25520c1cc..9eafe2598 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -414,12 +414,6 @@ class TheoryEngine { void propagate(theory::Theory::Effort effort); /** - * Called by the output channel to request decisions "as soon as - * possible." - */ - void propagateAsDecision(TNode literal, theory::TheoryId theory); - - /** * A variable to mark if we added any lemmas. */ bool d_lemmasAdded; |