Fix mistakenly renamed enum element

diff --git a/src/ASTAnalyses/ordernode.h b/src/ASTAnalyses/ordernode.h
index 08685d47c8f938c19da8797a1cbcdba72e1273d1..50543ac8a7fb19f1d02af05f0f9fb9bc3a07e98b 100644 (file)
--- a/src/ASTAnalyses/ordernode.h
+++ b/src/ASTAnalyses/ordernode.h
@@ -14,7 +14,7 @@
 #include "structs.h"
 #include "orderedge.h"
 
 #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 {
 typedef enum NodeStatus NodeStatus;
 
 class OrderNode {

diff --git a/src/ASTTransform/decomposeordertransform.cc b/src/ASTTransform/decomposeordertransform.cc
index f90a66699deaa3b8fc15ff19695f913452313564..262497e257b0060ef0a26675def7b6b10b1425bf 100644 (file)
--- a/src/ASTTransform/decomposeordertransform.cc
+++ b/src/ASTTransform/decomposeordertransform.cc
@@ -60,12 +60,12 @@ void DecomposeOrderTransform::doTransform(){
                                else
                                        partialcandidatevec.setExpand(from->sccNum, NULL);
                        }
                                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);
                        }
                                ((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) {
                                ((MutableSet *)neworder->set)->addElementMSet(to->id);
                        }
                        if (currOrder->type == SATC_PARTIAL) {