1 files changed, 0 insertions, 17 deletions
diff --git a/typecheck/tests/RetrieveInteger.java b/typecheck/tests/RetrieveInteger.java
deleted file mode 100644
index 1997e38..0000000
--- a/typecheck/tests/RetrieveInteger.java
+++ /dev/null
@@ -1,17 +0,0 @@
-class RetrieveInteger{
-    public static void main(String[] a){
-        GetInteger i ;
-        int j ;
-
-        i = new GetInteger() ;
-        j = i.Get() ;
-
-        System.out.println(j) ;
-    }
-}
-
-class GetInteger {
-    public int Get(){
-        return 4 ;
-    }
-}