From: Hamed <hamed.gorjiara@gmail.com>
Date: Mon, 11 Sep 2017 23:15:53 +0000 (-0700)
Subject: Fixing memory leak bug ...
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ea102bcfb85f805d57b873774dd4fb629d88c845;p=satune.git

Fixing memory leak bug ...
---

diff --git a/src/AST/table.cc b/src/AST/table.cc
index 828cd79..838a53a 100644
--- a/src/AST/table.cc
+++ b/src/AST/table.cc
@@ -93,6 +93,7 @@ void Table::serialize(Serializer* serializer){
 		serializer->mywrite(&entry->inputSize, sizeof(uint));
 		serializer->mywrite(entry->inputs, sizeof(uint64_t) * entry->inputSize);
 	}
+	delete iterator;
 }