X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAST%2Felement.c;h=df29cfecc00e69d3a22ba7a4038e2b478a5e14f3;hp=191686cec460d17e1eb8ce2d0136515ab5bcf3a5;hb=c5aa88ae6e416bd79459c619b2a30bf565c50ac0;hpb=f157726420ac92c6b29ab7b552682629d0f3c4a4

diff --git a/src/AST/element.c b/src/AST/element.c
index 191686c..df29cfe 100644
--- a/src/AST/element.c
+++ b/src/AST/element.c
@@ -3,9 +3,10 @@
 Element *allocElement(Set * s) {
 	Element * tmp=(Element *)ourmalloc(sizeof(Element));
 	tmp->set=s;
+	tmp->encoding=NULL;
 	return tmp;
 }
 
-void deleteElement(Element *this) {
-	ourfree(this);
+void deleteElement(Element *This) {
+	ourfree(This);
 }