yet another nasty encoding fix

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

diff --git a/source/mir/util/GeneratorStringFunctions.java b/source/mir/util/GeneratorStringFunctions.java
index b46101d..6d8b373 100755 (executable)
--- a/source/mir/util/GeneratorStringFunctions.java
+++ b/source/mir/util/GeneratorStringFunctions.java
@@ -31,8 +31,11 @@
 
 package mir.util;
 
-import java.util.*;
-import mir.generator.*;
+import java.util.List;
+
+import mir.generator.Generator;
+import mir.generator.GeneratorExc;
+import mir.generator.GeneratorFailure;
 
 public class GeneratorStringFunctions {