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

diff --git a/src/Encoders/functionencoding.c b/src/Encoders/functionencoding.c
index c9c0e19..d0f8c3d 100644
--- a/src/Encoders/functionencoding.c
+++ b/src/Encoders/functionencoding.c
@@ -14,6 +14,6 @@ FunctionEncoding * allocPredicateEncoding(FunctionEncodingType type, Boolean *pr
 	return This;
 }
 
-void deleteFunctionEncoding(FunctionEncoding *This) {
-	ourfree(This);
+void deleteFunctionEncoding(FunctionEncoding *fe) {
+	ourfree(fe);
 }