From 1c0e583abc78ed1e5a02d672741b57c9376d3e31 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 13 Mar 2020 16:42:16 -0700 Subject: [PATCH] avoid calling del on memory not owned by object allocator Signed-off-by: Nikolaj Bjorner --- src/math/dd/pdd_interval.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/math/dd/pdd_interval.h b/src/math/dd/pdd_interval.h index 076e132e7..81153e4b5 100644 --- a/src/math/dd/pdd_interval.h +++ b/src/math/dd/pdd_interval.h @@ -59,7 +59,6 @@ public: m_dep_intervals.mul(hi, a, t); m_dep_intervals.add(t, lo, ret); } - m().del(a); } // f meant to be called when the separation happens template