diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -rw-r--r-- | src/smt/smt_engine.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 38c9e7ee2..196da6b9c 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -1876,7 +1876,8 @@ void SmtEngine::setDefaults() { options::sygusExtRew.set(false); } } - if (options::sygusRewSynth() || options::sygusRewVerify()) + if (options::sygusRewSynth() || options::sygusRewVerify() + || options::sygusQueryGen()) { // rewrite rule synthesis implies that sygus stream must be true options::sygusStream.set(true); |