diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-08-20 22:01:14 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-08-20 22:01:14 +0000 |
| commit | 59046763d2e5b26d720a3a320b351292bad867ac (patch) | |
| tree | 258cd2b37fee258c513417304676aaac57664dba /src/theory/quantifiers/trigger.cpp | |
| parent | bd45444319c0baa11b530184e3065df3a2d926a2 (diff) | |
remove duplicate function TheoryEngine::getTheory(TheoryId). It was a duplicate of TheoryEngine::theoryOf(TheoryId)
Diffstat (limited to 'src/theory/quantifiers/trigger.cpp')
| -rw-r--r-- | src/theory/quantifiers/trigger.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/trigger.cpp b/src/theory/quantifiers/trigger.cpp index 4bb85287e..3bd2945e8 100644 --- a/src/theory/quantifiers/trigger.cpp +++ b/src/theory/quantifiers/trigger.cpp @@ -97,7 +97,7 @@ d_quantEngine( qe ), d_f( f ){ } //Notice() << "Trigger : " << (*this) << " for " << f << std::endl; if( options::eagerInstQuant() ){ - Theory* th_uf = qe->getTheoryEngine()->getTheory( theory::THEORY_UF ); + Theory* th_uf = qe->getTheoryEngine()->theoryOf( theory::THEORY_UF ); uf::InstantiatorTheoryUf* ith = (uf::InstantiatorTheoryUf*)th_uf->getInstantiator(); for( int i=0; i<(int)d_nodes.size(); i++ ){ ith->registerTrigger( this, d_nodes[i].getOperator() ); |