1 files changed, 6 insertions, 6 deletions
diff --git a/instr-to-kodkod/src/VHDLPredicate.java b/instr-to-kodkod/src/VHDLPredicate.java
index 0ff388b..821a044 100644
--- a/instr-to-kodkod/src/VHDLPredicate.java
+++ b/instr-to-kodkod/src/VHDLPredicate.java
@@ -1,11 +1,11 @@
-/* FIXME: Finer imports */
-import java.util.*;
+import java.util.ArrayList;
+import java.util.Collection;
 
-import kodkod.ast.*;
-import kodkod.ast.operator.*;
-
-import kodkod.instance.*;
+import kodkod.ast.Relation;
 
+import kodkod.instance.Bounds;
+import kodkod.instance.TupleFactory;
+import kodkod.instance.TupleSet;
 
 public class VHDLPredicate
 {