diff options
Diffstat (limited to 'src/theory/quantifiers/trigger.cpp')
| -rw-r--r-- | src/theory/quantifiers/trigger.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/theory/quantifiers/trigger.cpp b/src/theory/quantifiers/trigger.cpp index c64a75ec4..553189d13 100644 --- a/src/theory/quantifiers/trigger.cpp +++ b/src/theory/quantifiers/trigger.cpp @@ -85,7 +85,6 @@ void Trigger::reset( Node eqc ){ bool Trigger::getNextMatch( InstMatch& m ){ bool retVal = d_mg->getNextMatch( m, d_quantEngine ); - //m.makeInternal( d_quantEngine->getEqualityQuery() ); return retVal; } @@ -98,10 +97,6 @@ int Trigger::addTerm( Node t ){ return d_mg->addTerm( d_f, t, d_quantEngine ); } -//bool Trigger::nonunifiable( TNode t, const std::vector<Node> & vars){ -// return d_mg->nonunifiable(t,vars); -//} - int Trigger::addInstantiations( InstMatch& baseMatch ){ int addedLemmas = d_mg->addInstantiations( d_f, baseMatch, d_quantEngine ); if( addedLemmas>0 ){ |