diff options
Diffstat (limited to 'src/theory/trigger.cpp')
| -rw-r--r-- | src/theory/trigger.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/trigger.cpp b/src/theory/trigger.cpp index 92573d464..f895f6814 100644 --- a/src/theory/trigger.cpp +++ b/src/theory/trigger.cpp @@ -20,6 +20,7 @@ #include "theory/uf/theory_uf_instantiator.h" #include "theory/candidate_generator.h" #include "theory/uf/equality_engine.h" +#include "theory/quantifiers/options.h" using namespace std; using namespace CVC4; @@ -95,7 +96,7 @@ d_quantEngine( qe ), d_f( f ){ ++(qe->d_statistics.d_multi_triggers); } //Notice() << "Trigger : " << (*this) << " for " << f << std::endl; - if( Options::current()->eagerInstQuant ){ + if( options::eagerInstQuant() ){ Theory* th_uf = qe->getTheoryEngine()->getTheory( theory::THEORY_UF ); uf::InstantiatorTheoryUf* ith = (uf::InstantiatorTheoryUf*)th_uf->getInstantiator(); for( int i=0; i<(int)d_nodes.size(); i++ ){ |