X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FAST%2Ffunction.cc;fp=src%2FAST%2Ffunction.cc;h=6715e79e06e0115dc91449c02c768f4a7028472d;hb=faac5894230d569848367149a130486b965eb329;hp=1d910e48e9ea0d7d2185357de7633d6384c97fc3;hpb=84d03e54cb4e2e2176239ff2785969b3af08b89f;p=satune.git

diff --git a/src/AST/function.cc b/src/AST/function.cc
index 1d910e4..6715e79 100644
--- a/src/AST/function.cc
+++ b/src/AST/function.cc
@@ -12,10 +12,10 @@ FunctionTable::FunctionTable (Table *_table, UndefinedBehavior _undefBehavior) :
 uint64_t FunctionOperator::applyFunctionOperator(uint numVals, uint64_t *values) {
 	ASSERT(numVals == 2);
 	switch (op) {
-	case ADD:
+	case SATC_ADD:
 		return values[0] + values[1];
 		break;
-	case SUB:
+	case SATC_SUB:
 		return values[0] - values[1];
 		break;
 	default: