From: bdemsky <bdemsky@uci.edu>
Date: Tue, 11 Jul 2017 22:27:15 +0000 (-0700)
Subject: edits
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a3396746e2e98ca0af4989e30f5e6b970ce9e2d5;p=satune.git

edits
---

diff --git a/src/Backend/satencoder.c b/src/Backend/satencoder.c
index 5ef2c53..e68226f 100644
--- 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;