1 files changed, 11 insertions, 9 deletions
diff --git a/instr-to-kodkod/src/Main.java b/instr-to-kodkod/src/Main.java
index 214e84c..d6528cd 100644
--- a/instr-to-kodkod/src/Main.java
+++ b/instr-to-kodkod/src/Main.java
@@ -1,15 +1,17 @@
-/* FIXME: Finer imports */
-import kodkod.ast.*;
+import java.io.FileNotFoundException;
+import java.io.IOException;
 
-import kodkod.engine.*;
-import kodkod.engine.config.*;
-import kodkod.engine.satlab.*;
+import java.util.Iterator;
 
-import kodkod.instance.*;
+import kodkod.ast.Formula;
 
-import java.io.IOException;
-import java.io.FileNotFoundException;
-import java.util.Iterator;
+import kodkod.engine.Solution;
+import kodkod.engine.Solver;
+import kodkod.engine.satlab.SATFactory;
+
+import kodkod.instance.Bounds;
+import kodkod.instance.TupleFactory;
+import kodkod.instance.Universe;
 
 public class Main
 {