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/VHDLProperty.java | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

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

diff --git a/instr-to-kodkod/src/VHDLProperty.java b/instr-to-kodkod/src/VHDLProperty.java
index f74aae4..2d6f40a 100644
--- a/instr-to-kodkod/src/VHDLProperty.java
+++ b/instr-to-kodkod/src/VHDLProperty.java
@@ -1,10 +1,9 @@
-/* FIXME: Finer imports */
-import java.util.*;
-import java.io.*;
+import java.io.IOException;
 
-import kodkod.ast.*;
+import kodkod.ast.Formula;
 
-import org.antlr.v4.runtime.*;
+import org.antlr.v4.runtime.CharStreams;
+import org.antlr.v4.runtime.CommonTokenStream;
 
 public class VHDLProperty
 {
-- 
cgit v1.2.3-70-g09d2