Partial Order ...

[satune.git] / src / ASTAnalyses / ordernode.h

diff --git a/src/ASTAnalyses/ordernode.h b/src/ASTAnalyses/ordernode.h
index 3ffecb8cbd92235790ae0b7193a49c3142774ba1..50543ac8a7fb19f1d02af05f0f9fb9bc3a07e98b 100644 (file)
--- 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 {
@@ -26,8 +26,8 @@ public:
        uint64_t id;
        NodeStatus status;
        uint sccNum;
-       HashSetOrderEdge inEdges;
-       HashSetOrderEdge outEdges;
+       HashsetOrderEdge inEdges;
+       HashsetOrderEdge outEdges;
        CMEMALLOC;
 };
 #endif/* ORDERNODE_H */