diff options
Diffstat (limited to 'src/theory/quantifiers_engine.cpp')
| -rwxr-xr-x | src/theory/quantifiers_engine.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/quantifiers_engine.cpp b/src/theory/quantifiers_engine.cpp index 54aa7f726..e9a69bd30 100755 --- a/src/theory/quantifiers_engine.cpp +++ b/src/theory/quantifiers_engine.cpp @@ -190,6 +190,7 @@ void QuantifiersEngine::check( Theory::Effort e ){ void QuantifiersEngine::registerQuantifier( Node f ){ if( std::find( d_quants.begin(), d_quants.end(), f )==d_quants.end() ){ + Trace("quant") << "Register quantifier : " << f << std::endl; d_quants.push_back( f ); ++(d_statistics.d_num_quant); |