X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FEncoders%2Ffunctionencoding.c;h=d0f8c3dc09984560ab3ecad6d63943e654b54e3e;hp=282912d2d09e6df861fbea1e5468921babcfd589;hb=c507619d06bc6fbddc5fc26016be9bb47daa0ae0;hpb=561b93dec85db0c90426345c0dc669fe3de2d4f7;ds=inline

diff --git a/src/Encoders/functionencoding.c b/src/Encoders/functionencoding.c
index 282912d..d0f8c3d 100644
--- a/src/Encoders/functionencoding.c
+++ b/src/Encoders/functionencoding.c
@@ -1,19 +1,19 @@
 #include "functionencoding.h"
 
 FunctionEncoding * allocFunctionEncoding(FunctionEncodingType type, Element *function) {
-	FunctionEncoding * This=(FunctionEncoding *)ourmalloc(sizeof(FunctionEncoding));
+	FunctionEncoding * This=ourmalloc(sizeof(FunctionEncoding));
 	This->op.function=function;
 	This->type=type;
 	return This;
 }
 
 FunctionEncoding * allocPredicateEncoding(FunctionEncodingType type, Boolean *predicate) {
-	FunctionEncoding * This=(FunctionEncoding *)ourmalloc(sizeof(FunctionEncoding));
+	FunctionEncoding * This=ourmalloc(sizeof(FunctionEncoding));
 	This->op.predicate=predicate;
 	This->type=type;
 	return This;
 }
 
-void deleteFunctionEncoding(FunctionEncoding *This) {
-	ourfree(This);
+void deleteFunctionEncoding(FunctionEncoding *fe) {
+	ourfree(fe);
 }