diff options
Diffstat (limited to 'src/theory/quantifiers/expr_miner.cpp')
| -rw-r--r-- | src/theory/quantifiers/expr_miner.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/expr_miner.cpp b/src/theory/quantifiers/expr_miner.cpp index 582d67b31..6069745e0 100644 --- a/src/theory/quantifiers/expr_miner.cpp +++ b/src/theory/quantifiers/expr_miner.cpp @@ -76,7 +76,7 @@ void ExprMiner::initializeChecker(std::unique_ptr<SmtEngine>& checker, Node query) { Assert (!query.isNull()); - if (Options::current().wasSetByUser(options::sygusExprMinerCheckTimeout)) + if (Options::current().quantifiers.sygusExprMinerCheckTimeout__setByUser) { initializeSubsolver(checker, true, options::sygusExprMinerCheckTimeout()); } |