Changes:

[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 0de4e0636d9cb30a3d952b716e75baa6c0321435..e8d46d8f5b6173ee610100f4a36316f7594ab5e0 100644 (file)
--- a/Robust/src/IR/Flat/FKind.java
+++ b/Robust/src/IR/Flat/FKind.java
@@ -17,4 +17,5 @@ public class FKind {
     public static final int FlatCheckNode=14;
     public static final int FlatBackEdge=15;    
     public static final int FlatTagDeclaration=16;
+    public static final int FlatMethod=17;
 }