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 | |
| parent | 010666a966a58d9beaf8a0f7233d7f73eb0bc79b (diff) | |
Removing an unused variable. (#1576)
| -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 |