From 0b785cc942a31a879c99f460e19728288364772b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 13 Mar 2020 15:29:37 -0700
Subject: [PATCH] track variables used by nla_solver

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/dd/pdd_interval.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/dd/pdd_interval.h b/src/math/dd/pdd_interval.h
index 81153e4b5..076e132e7 100644
--- a/src/math/dd/pdd_interval.h
+++ b/src/math/dd/pdd_interval.h
@@ -59,6 +59,7 @@ 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 <typename T>