From f84a9f5f2be00d14168ba40ebf9357bc99fce9ce Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 31 Jul 2017 12:50:34 +0200
Subject: Finer imports.

---
 instr-to-kodkod/src/VHDLType.java | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

(limited to 'instr-to-kodkod/src/VHDLType.java')

diff --git a/instr-to-kodkod/src/VHDLType.java b/instr-to-kodkod/src/VHDLType.java
index 46d7cd9..d8ae9ed 100644
--- a/instr-to-kodkod/src/VHDLType.java
+++ b/instr-to-kodkod/src/VHDLType.java
@@ -1,10 +1,14 @@
-/* FIXME: Finer imports */
-import java.util.*;
+import java.util.ArrayList;
+import java.util.Collection;
+import java.util.HashMap;
+import java.util.Map;
+import java.util.Set;
 
-import kodkod.ast.*;
-import kodkod.ast.operator.*;
+import kodkod.ast.Relation;
+import kodkod.ast.Formula;
 
-import kodkod.instance.*;
+import kodkod.instance.Bounds;
+import kodkod.instance.TupleFactory;
 
 
 public class VHDLType
-- 
cgit v1.2.3-70-g09d2