Add beginning of support for dsm

[IRC.git] / Robust / src / IR / Flat / FKind.java

diff --git a/Robust/src/IR/Flat/FKind.java b/Robust/src/IR/Flat/FKind.java
index e8d46d8f5b6173ee610100f4a36316f7594ab5e0..b30de0d2651b2eb3b5ba4aae6811ceea7c3c4512 100644 (file)
--- a/Robust/src/IR/Flat/FKind.java
+++ b/Robust/src/IR/Flat/FKind.java
@@ -18,4 +18,6 @@ public class FKind {
     public static final int FlatBackEdge=15;    
     public static final int FlatTagDeclaration=16;
     public static final int FlatMethod=17;
+    public static final int FlatAtomicEnterNode=18;
+    public static final int FlatAtomicExitNode=19;
 }