X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FEncoders%2Ffunctionencoding.c;h=d0f8c3dc09984560ab3ecad6d63943e654b54e3e;hp=887972bc46d588fe5318c5b7d19912e871f4a603;hb=c507619d06bc6fbddc5fc26016be9bb47daa0ae0;hpb=3abc4365ea744c8b2327aa5fdee3878867711ce1

diff --git a/src/Encoders/functionencoding.c b/src/Encoders/functionencoding.c
index 887972b..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));
-	this->op.function=function;
-	this->type=type;
-	return this;
+	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));
-	this->op.predicate=predicate;
-	this->type=type;
-	return this;
+	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);
 }