diff options
Diffstat (limited to 'graph/src/main')
| -rw-r--r-- | graph/src/main/java/com/seaofnodes/graph/GraphSnapshot.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/graph/src/main/java/com/seaofnodes/graph/GraphSnapshot.java b/graph/src/main/java/com/seaofnodes/graph/GraphSnapshot.java index 6836693e..53d74706 100644 --- a/graph/src/main/java/com/seaofnodes/graph/GraphSnapshot.java +++ b/graph/src/main/java/com/seaofnodes/graph/GraphSnapshot.java @@ -14,7 +14,7 @@ public record GraphSnapshot(int ver, String comp, long step, @Override public int[] roots() { return roots.clone(); } - public enum Kind { DATA, CTRL, MEM, SCOPE, PHI, REGION, LOOP, FUN, UNIT } + public enum Kind { DATA, CTRL, MEM, SCOPE, PHI, REGION, LOOP, FUN, UNIT, STOP } public enum Role { DATA, CTRL, MEM, ASSOC } /** IDs are stable within one compilation. Labels and types are plain text. */ |