From: bdemsky <bdemsky@uci.edu>
Date: Sat, 24 Jun 2017 02:39:56 +0000 (-0700)
Subject: Fix double free bug in function encoding
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a9c63b56d318ba27cbfe626ad58467a03f06983e;p=satune.git

Fix double free bug in function encoding
---

diff --git a/src/Encoders/functionencoding.c b/src/Encoders/functionencoding.c
index 7e0a746..74cfb76 100644
--- a/src/Encoders/functionencoding.c
+++ b/src/Encoders/functionencoding.c
@@ -11,7 +11,6 @@ void initPredicateEncoding(FunctionEncoding *This,  Boolean *predicate) {
 }
 
 void deleteFunctionEncoding(FunctionEncoding *This) {
-	ourfree(This);
 }
 
 void setFunctionEncodingType(FunctionEncoding* encoding, FunctionEncodingType type){