diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-05-23 20:41:11 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-23 20:41:11 -0500 |
| commit | 78b986c8c45159c1a6669602ec724dbfa2a5047b (patch) | |
| tree | a224c68d42a42a762b51fa9d566e0d93ce7d2ba1 /src/theory/arith | |
| parent | 55fd4152498a87aed3ddf220c91e3fc2f560e281 (diff) | |
Remove spurious assertion in nonlinear extension (#1972)
Diffstat (limited to 'src/theory/arith')
| -rw-r--r-- | src/theory/arith/nonlinear_extension.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/theory/arith/nonlinear_extension.cpp b/src/theory/arith/nonlinear_extension.cpp index 2ad79ac57..c9a4c5075 100644 --- a/src/theory/arith/nonlinear_extension.cpp +++ b/src/theory/arith/nonlinear_extension.cpp @@ -1038,7 +1038,6 @@ bool NonlinearExtension::checkModel(const std::vector<Node>& assertions, void NonlinearExtension::addCheckModelSubstitution(TNode v, TNode s) { // should not substitute the same variable twice - Assert(v.isVar()); Assert(!hasCheckModelAssignment(v)); for (unsigned i = 0, size = d_check_model_subs.size(); i < size; i++) { |