Many changes

[IRC.git] / Robust / src / IR / Tree / FlagEffects.java

diff --git a/Robust/src/IR/Tree/FlagEffects.java b/Robust/src/IR/Tree/FlagEffects.java
index de0f9bb7503801a58f2e25954edebfc6c4cc2fdf..bdc5ed02f7650875a0f454c106a48e373da8e591 100644 (file)
--- a/Robust/src/IR/Tree/FlagEffects.java
+++ b/Robust/src/IR/Tree/FlagEffects.java
@@ -1,6 +1,7 @@
 package IR.Tree;
 
 import IR.*;
+import java.util.*;
 
 public class FlagEffects {
     Vector effects;