1 files changed, 5 insertions, 0 deletions
diff --git a/typecheck/tests/Empty.java b/typecheck/tests/Empty.java
new file mode 100644
index 0000000..975ac63
--- /dev/null
+++ b/typecheck/tests/Empty.java
@@ -0,0 +1,5 @@
+class Empty {
+    public static void main(String[] a) {
+	System.out.println(1);
+    }
+}