diff options
Diffstat (limited to 'src/theory/quantifiers/ematching/ho_trigger.cpp')
-rw-r--r-- | src/theory/quantifiers/ematching/ho_trigger.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/theory/quantifiers/ematching/ho_trigger.cpp b/src/theory/quantifiers/ematching/ho_trigger.cpp index 4cdce940e..a2885cdec 100644 --- a/src/theory/quantifiers/ematching/ho_trigger.cpp +++ b/src/theory/quantifiers/ematching/ho_trigger.cpp @@ -34,7 +34,6 @@ namespace quantifiers { namespace inst { HigherOrderTrigger::HigherOrderTrigger( - QuantifiersEngine* qe, QuantifiersState& qs, QuantifiersInferenceManager& qim, QuantifiersRegistry& qr, @@ -42,7 +41,7 @@ HigherOrderTrigger::HigherOrderTrigger( Node q, std::vector<Node>& nodes, std::map<Node, std::vector<Node> >& ho_apps) - : Trigger(qe, qs, qim, qr, tr, q, nodes), d_ho_var_apps(ho_apps) + : Trigger(qs, qim, qr, tr, q, nodes), d_ho_var_apps(ho_apps) { NodeManager* nm = NodeManager::currentNM(); // process the higher-order variable applications |