diff options
Diffstat (limited to 'src/theory/quantifiers_engine.cpp')
-rw-r--r-- | src/theory/quantifiers_engine.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/theory/quantifiers_engine.cpp b/src/theory/quantifiers_engine.cpp index 6dce6ce1e..534d92c92 100644 --- a/src/theory/quantifiers_engine.cpp +++ b/src/theory/quantifiers_engine.cpp @@ -1153,9 +1153,12 @@ void QuantifiersEngine::getExplanationForInstLemmas( void QuantifiersEngine::printInstantiations( std::ostream& out ) { bool printed = false; // print the skolemizations - if (d_skolemize->printSkolemization(out)) + if (options::printInstMode() == options::PrintInstMode::LIST) { - printed = true; + if (d_skolemize->printSkolemization(out)) + { + printed = true; + } } // print the instantiations if (d_instantiate->printInstantiations(out)) |