diff options
Diffstat (limited to 'src/theory/arith/arith_msum.cpp')
| -rw-r--r-- | src/theory/arith/arith_msum.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/arith/arith_msum.cpp b/src/theory/arith/arith_msum.cpp index 46ee1cad5..c56587901 100644 --- a/src/theory/arith/arith_msum.cpp +++ b/src/theory/arith/arith_msum.cpp @@ -148,6 +148,7 @@ Node ArithMSum::mkNode(const std::map<Node, Node>& msum) int ArithMSum::isolate( Node v, const std::map<Node, Node>& msum, Node& veq_c, Node& val, Kind k) { + Assert(veq_c.isNull()); std::map<Node, Node>::const_iterator itv = msum.find(v); if (itv != msum.end()) { |