From: bdemsky <bdemsky@uci.edu>
Date: Fri, 1 Sep 2017 00:46:38 +0000 (-0700)
Subject: Fix mistakenly renamed enum element
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=18346f6ce58bc66d1c9952936efbe6fe813939af;hp=-c

Fix mistakenly renamed enum element
---

18346f6ce58bc66d1c9952936efbe6fe813939af
diff --git a/src/ASTAnalyses/ordernode.h b/src/ASTAnalyses/ordernode.h
index 08685d4..50543ac 100644
--- a/src/ASTAnalyses/ordernode.h
+++ b/src/ASTAnalyses/ordernode.h
@@ -14,7 +14,7 @@
 #include "structs.h"
 #include "orderedge.h"
 
-enum NodeStatus {NOTVISITED, VISITED, FINISHED, SATC_ADDEDTOSET};
+enum NodeStatus {NOTVISITED, VISITED, FINISHED, ADDEDTOSET};
 typedef enum NodeStatus NodeStatus;
 
 class OrderNode {
diff --git a/src/ASTTransform/decomposeordertransform.cc b/src/ASTTransform/decomposeordertransform.cc
index f90a666..262497e 100644
--- a/src/ASTTransform/decomposeordertransform.cc
+++ b/src/ASTTransform/decomposeordertransform.cc
@@ -60,12 +60,12 @@ void DecomposeOrderTransform::doTransform(){
 				else
 					partialcandidatevec.setExpand(from->sccNum, NULL);
 			}
-			if (from->status != SATC_ADDEDTOSET) {
-				from->status = SATC_ADDEDTOSET;
+			if (from->status != ADDEDTOSET) {
+				from->status = ADDEDTOSET;
 				((MutableSet *)neworder->set)->addElementMSet(from->id);
 			}
-			if (to->status != SATC_ADDEDTOSET) {
-				to->status = SATC_ADDEDTOSET;
+			if (to->status != ADDEDTOSET) {
+				to->status = ADDEDTOSET;
 				((MutableSet *)neworder->set)->addElementMSet(to->id);
 			}
 			if (currOrder->type == SATC_PARTIAL) {