edits

diff --git a/src/Backend/satencoder.c b/src/Backend/satencoder.c
index 5ef2c5372ca326275e862f2d6f0d6cf1ff12150d..e68226fc49dfee190715639a858bd6f9c794d06c 100644 (file)
--- a/src/Backend/satencoder.c
+++ b/src/Backend/satencoder.c
@@ -494,6 +494,7 @@ Edge encodeOperatorElementFunctionSATEncoder(SATEncoder* This, ElementFunction*
 }
 
 Edge encodeEnumTableElemFunctionSATEncoder(SATEncoder* encoder, ElementFunction* This){
+       //FIXME: HANDLE UNDEFINED BEHAVIORS
        ASSERT(GETFUNCTIONTYPE(This->function)==TABLEFUNC);
        ArrayElement* elements= &This->inputs;
        Table* table = ((FunctionTable*) (This->function))->table;