diff options
author | Tim King <taking@cs.nyu.edu> | 2018-02-07 22:52:40 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-07 22:52:40 -0800 |
commit | 9a350308932e1b6e3410aad081734775579d6168 (patch) | |
tree | c81b91bd2cb472f39c456219e32c1abcd9644dfb /src/theory/arith | |
parent | 010666a966a58d9beaf8a0f7233d7f73eb0bc79b (diff) |
Removing an unused variable. (#1576)
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 |