X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAST%2Felement.h;h=91d19dba19fe6830d63334f2630ca594a08dde4d;hp=8f0f0826548f314de74c2330fef547436677958a;hb=c5aa88ae6e416bd79459c619b2a30bf565c50ac0;hpb=2fdb3e8b65ae7e1490997e5df9ad8cc0929e1589

diff --git a/src/AST/element.h b/src/AST/element.h
index 8f0f082..91d19db 100644
--- a/src/AST/element.h
+++ b/src/AST/element.h
@@ -5,8 +5,9 @@
 
 struct Element {
 	Set * set;
+	ElementEncoding * encoding;
 };
 
 Element * allocElement(Set *s);
-void deleteElement(Element *this);
+void deleteElement(Element *This);
 #endif