From a9c63b56d318ba27cbfe626ad58467a03f06983e Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Fri, 23 Jun 2017 19:39:56 -0700
Subject: [PATCH] Fix double free bug in function encoding

---
 src/Encoders/functionencoding.c | 1 -
 1 file changed, 1 deletion(-)

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){
-- 
2.34.1