From: Hamed <hamed.gorjiara@gmail.com>
Date: Wed, 19 Jul 2017 19:09:46 +0000 (-0700)
Subject: Fixing memory leaks ...
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=29a0143f7040fb4caf1f6d3b703e6ad036393c23;p=satune.git

Fixing memory leaks ...
---

diff --git a/src/AST/boolean.c b/src/AST/boolean.c
index 05feefb..e4e9ddd 100644
--- a/src/AST/boolean.c
+++ b/src/AST/boolean.c
@@ -51,14 +51,19 @@ Boolean * allocBooleanLogicArray(CSolver *solver, LogicOp op, Boolean ** array,
 
 void deleteBoolean(Boolean * This) {
 	switch(GETBOOLEANTYPE(This)){
-	case PREDICATEOP: {
-		BooleanPredicate *bp=(BooleanPredicate *)This;
-		deleteInlineArrayElement(& bp->inputs );
-		deleteFunctionEncoding(& bp->encoding);
-		break;
-	}
-	default:
-		break;
+		case PREDICATEOP:{
+			BooleanPredicate *bp=(BooleanPredicate *)This;
+			deleteInlineArrayElement(& bp->inputs );
+			deleteFunctionEncoding(& bp->encoding);
+			break;
+		}
+		case LOGICOP:{
+			BooleanLogic* bl = (BooleanLogic*) This;
+			deleteInlineArrayBoolean(&bl->inputs);
+			break;
+		}
+		default:
+			break;
 	}
 	deleteVectorArrayBoolean(GETBOOLEANPARENTS(This));
 	ourfree(This);