some small changes delting unneeded imports. two new exceptions in mir.storage. usage...

[mir.git] / source / mir / util / GeneratorHTMLFunctions.java

diff --git a/source/mir/util/GeneratorHTMLFunctions.java b/source/mir/util/GeneratorHTMLFunctions.java
index c098c27..8afeb23 100755 (executable)
--- a/source/mir/util/GeneratorHTMLFunctions.java
+++ b/source/mir/util/GeneratorHTMLFunctions.java
@@ -31,10 +31,11 @@
 
 package mir.util;
 
-import java.util.*;
+import java.util.List;
 
-import mir.misc.*;
-import mir.generator.*;
+import mir.generator.Generator;
+import mir.generator.GeneratorExc;
+import mir.generator.GeneratorFailure;
 
 public class GeneratorHTMLFunctions {
   private GeneratorHTMLFunctions() {}