diff options
Diffstat (limited to 'src/theory/arith')
-rw-r--r-- | src/theory/arith/nonlinear_extension.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/arith/nonlinear_extension.cpp b/src/theory/arith/nonlinear_extension.cpp index 1522708d9..e8f8b9fa5 100644 --- a/src/theory/arith/nonlinear_extension.cpp +++ b/src/theory/arith/nonlinear_extension.cpp @@ -3274,8 +3274,6 @@ std::vector<Node> NonlinearExtension::checkTranscendentalTangentPlanes() // Figure 3: P_l, P_u // mapped to for signs of c std::map<int, Node> poly_approx_bounds[2]; - std::map<int, Node> - poly_approx_bounds_neg[2]; // the negative case is different for exp // n is the Taylor degree we are currently considering unsigned n = 2 * d_taylor_degree; // n must be even |