1 files changed, 20 insertions, 0 deletions
diff --git a/typecheck/tests/FactorialEdit.java b/typecheck/tests/FactorialEdit.java
new file mode 100644
index 0000000..919ed82
--- /dev/null
+++ b/typecheck/tests/FactorialEdit.java
@@ -0,0 +1,20 @@
+class Factorial{
+    public static void main(String[] a){
+        System.out.println(new Fac().ComputeFac(10));
+    }
+}
+
+class Fac {
+    int[] useless_var ;
+    public int ComputeFac(int num){
+        int num_aux ;
+        if (num < 1)
+            num_aux = 1 ;
+        else
+            num_aux = num * (this.ComputeFac(num-1)) ;
+        return num_aux ;
+    }
+}
+
+class Fac2 extends Fac {
+}