Fix for #33

Whiley · Apr 3, 2016 · ece3b3f · ece3b3f
1 parent 4751e0b
commit ece3b3f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/config.xml b/config.xml
@@ -1,4 +1,4 @@
 <project name="BuildConfig">
-  <property name="version" value="0.4.4"/>
+  <property name="version" value="0.4.5"/>
   <property name="WYBS_JAR" value="lib/wybs-v0.3.34.jar"/>
 </project>
diff --git a/src/wyrl/io/JavaFileWriter.java b/src/wyrl/io/JavaFileWriter.java
@@ -144,6 +144,7 @@ protected void writeImports() {
 		myOut("import wyrw.core.*;");
 		myOut("import wyrw.util.AbstractRewriteRule;");
 		myOut("import wyrl.core.*;");
+		myOut("import wyrl.core.Type;");
 		myOut("import wyrl.util.Runtime;");
 		myOut("import wyrl.util.Pair;");
 		myOut();