diff options
Diffstat (limited to 'src/smt/interpolation_solver.cpp')
| -rw-r--r-- | src/smt/interpolation_solver.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/interpolation_solver.cpp b/src/smt/interpolation_solver.cpp index 51be8db51..36f8e2a8d 100644 --- a/src/smt/interpolation_solver.cpp +++ b/src/smt/interpolation_solver.cpp @@ -41,7 +41,7 @@ bool InterpolationSolver::getInterpol(const std::vector<Node>& axioms, const TypeNode& grammarType, Node& interpol) { - if (options::produceInterpols() == options::ProduceInterpols::NONE) + if (options().smt.produceInterpols == options::ProduceInterpols::NONE) { const char* msg = "Cannot get interpolation when produce-interpol options is off."; @@ -57,7 +57,7 @@ bool InterpolationSolver::getInterpol(const std::vector<Node>& axioms, if (interpolSolver.solveInterpolation( name, axioms, conjn, grammarType, interpol)) { - if (options::checkInterpols()) + if (options().smt.checkInterpols) { checkInterpol(interpol, axioms, conj); } |