X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FIR%2FFlat%2FFKind.java;h=b30de0d2651b2eb3b5ba4aae6811ceea7c3c4512;hb=e06f8a20f93f04ebd682d65a415f7c0f022aa4d2;hp=4c700d43b0419fb0438c20f779fa7ab2daa1b4dc;hpb=548da59336409ff67b9f0d9e00e708d66eeb0bd0;p=IRC.git

diff --git a/Robust/src/IR/Flat/FKind.java b/Robust/src/IR/Flat/FKind.java
index 4c700d43..b30de0d2 100644
--- a/Robust/src/IR/Flat/FKind.java
+++ b/Robust/src/IR/Flat/FKind.java
@@ -13,4 +13,11 @@ public class FKind {
     public static final int FlatNop=10;    
     public static final int FlatSetElementNode=11;
     public static final int FlatElementNode=12;
+    public static final int FlatFlagActionNode=13;
+    public static final int FlatCheckNode=14;
+    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;
 }