diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/theory/arith/nl/nonlinear_extension.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/arith/nl/nonlinear_extension.cpp b/src/theory/arith/nl/nonlinear_extension.cpp index fdab6d7b7..f5e83c8f0 100644 --- a/src/theory/arith/nl/nonlinear_extension.cpp +++ b/src/theory/arith/nl/nonlinear_extension.cpp @@ -582,6 +582,7 @@ void NonlinearExtension::interceptModel(std::map<Node, Node>& arithModel) void NonlinearExtension::presolve() { Trace("nl-ext") << "NonlinearExtension::presolve" << std::endl; + d_builtModel = false; } void NonlinearExtension::runStrategy(Theory::Effort effort, |