X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FAST%2Felement.c;h=3746d250f10e748119f485fd14ecc082de9940d2;hp=903256d61f7e5fd1555fe77aae066eebbe00c6a3;hb=fa74d0b740b20fa40af55404c5bb99570a8b40ca;hpb=da8edf8ffe23430b414467fb4e35c66c94562356

diff --git a/src/AST/element.c b/src/AST/element.c
index 903256d..3746d25 100644
--- a/src/AST/element.c
+++ b/src/AST/element.c
@@ -1,11 +1,12 @@
 #include "element.h"
 #include "structs.h"
-
-Element *allocElementSet(Set * s) {
-	ElementSet * tmp=(ElementSet *)ourmalloc(sizeof(ElementSet));
+//FIXME: ELEMENTSET?
+Element *allocElement(Set * s) {
+	Element * tmp=(Element *)ourmalloc(sizeof(Element));
 	GETELEMENTTYPE(tmp)= ELEMSET;
 	tmp->set=s;
-	return &tmp->base;
+	tmp->encoding=NULL;
+	return tmp;
 }
 
 Element* allocElementFunction(Function * function, Element ** array, uint numArrays, Boolean * overflowstatus){