From 90c808bde91fc010b699003076345327017f074b Mon Sep 17 00:00:00 2001
From: Nuno Lopes <t-nclaud@microsoft.com>
Date: Mon, 8 Apr 2013 17:14:43 -0700
Subject: [PATCH] [datalog] fix memory leak in union instructions the source
 operand was never cleaned up

Signed-off-by: Nuno Lopes <t-nclaud@microsoft.com>
---
 src/muz_qe/dl_compiler.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/muz_qe/dl_compiler.cpp b/src/muz_qe/dl_compiler.cpp
index c898f7964..acedc3619 100644
--- a/src/muz_qe/dl_compiler.cpp
+++ b/src/muz_qe/dl_compiler.cpp
@@ -707,6 +707,7 @@ namespace datalog {
 
             //update the head relation
             make_union(new_head_reg, head_reg, delta_reg, use_widening, acc);
+            make_dealloc_non_void(new_head_reg, acc);
         }
 
     finish: