diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-10-31 10:00:52 +0100 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-10-31 10:00:52 +0100 |
| commit | 5bc200446b4165814db47e6e3639972af31ad0a6 (patch) | |
| tree | 6a62e2f1296468b286b7bc513d448ca29ec353e1 /src/theory/quantifiers/trigger.cpp | |
| parent | b035877b01e8b8c2ea902d9f3732cf84bfed0fdf (diff) | |
Improvements to handling of mixed Int/Real quantifiers.
Diffstat (limited to 'src/theory/quantifiers/trigger.cpp')
| -rw-r--r-- | src/theory/quantifiers/trigger.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/quantifiers/trigger.cpp b/src/theory/quantifiers/trigger.cpp index 5706c789e..de3c503b5 100644 --- a/src/theory/quantifiers/trigger.cpp +++ b/src/theory/quantifiers/trigger.cpp @@ -62,7 +62,9 @@ d_quantEngine( qe ), d_f( f ){ ++(qe->d_statistics.d_simple_triggers); } }else{ - Trace("multi-trigger") << "Multi-trigger " << (*this) << " for " << f << std::endl; + Trace("multi-trigger") << "Multi-trigger "; + debugPrint("multi-trigger"); + Trace("multi-trigger") << " for " << f << std::endl; //Notice() << "Multi-trigger for " << f << " : " << std::endl; //Notice() << " " << (*this) << std::endl; ++(qe->d_statistics.d_multi_triggers); |