diff options
-rw-r--r-- | src/theory/arith/nonlinear_extension.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/nonlinear_extension.cpp b/src/theory/arith/nonlinear_extension.cpp index 1f6e1388a..f067fda47 100644 --- a/src/theory/arith/nonlinear_extension.cpp +++ b/src/theory/arith/nonlinear_extension.cpp @@ -2003,7 +2003,7 @@ int NonlinearExtension::checkLastCall(const std::vector<Node>& assertions, for (const Node& ac : a) { Node r = - d_containing.getValuation().getModel()->getRepresentative(a[0]); + d_containing.getValuation().getModel()->getRepresentative(ac); repList.push_back(r); } Node aa = argTrie[ak].add(a, repList); |