Fix double free bug in function encoding

diff --git a/src/Encoders/functionencoding.c b/src/Encoders/functionencoding.c
index 7e0a746639ecd4a2cde0046f1bcad152a78f9304..74cfb7685abc3d017b41d7e7d7edb6920525a55e 100644 (file)
--- 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){