Add some comments for Hamed

[satune.git] / src / AST / element.c

diff --git a/src/AST/element.c b/src/AST/element.c
index f5cd301fd7df13fc493cd6ec34a12edcaaf6a392..8379983390ced6078568f48c60cb0e3f0856dd73 100644 (file)
--- a/src/AST/element.c
+++ b/src/AST/element.c
@@ -50,6 +50,11 @@ Set* getElementSet(Element* This){
        return NULL;
 }
 
+FIXME()!!!!
+
+/** This function belongs in the backend...Elements should not touch
+               binary constraints nor should they touch their encoders... */
+
 Constraint * getElementValueBinaryIndexConstraint(Element* This, uint64_t value) {
        ASTNodeType type = GETELEMENTTYPE(This);
        ASSERT(type == ELEMSET || type == ELEMFUNCRETURN);