Partial Order ...

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

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"
 
-enum NodeStatus {NOTVISITED, VISITED, FINISHED, SATC_ADDEDTOSET};
+enum NodeStatus {NOTVISITED, VISITED, FINISHED, ADDEDTOSET};
 typedef enum NodeStatus NodeStatus;
 
 class OrderNode {