From a6bee82ef8dd8ad49e90bdc80c796436e1ccaca0 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Thu, 23 Oct 2014 17:10:31 +0100
Subject: [PATCH] Interpolation API: fixed some memory leaks

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/interp/iz3proof_itp.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/interp/iz3proof_itp.cpp b/src/interp/iz3proof_itp.cpp
index e89aa1d6d..52ddcd64f 100755
--- a/src/interp/iz3proof_itp.cpp
+++ b/src/interp/iz3proof_itp.cpp
@@ -3078,6 +3078,11 @@ public:
     m().dec_ref(add_pos);
     m().dec_ref(rewrite_A);
     m().dec_ref(rewrite_B);
+    m().dec_ref(normal_step);
+    m().dec_ref(normal_chain);
+    m().dec_ref(normal);
+    m().dec_ref(sforall);
+    m().dec_ref(sexists);
   }
 };