1 files changed, 11 insertions, 0 deletions
diff --git a/typecheck/tests/Branch.java b/typecheck/tests/Branch.java
new file mode 100644
index 0000000..43df01f
--- /dev/null
+++ b/typecheck/tests/Branch.java
@@ -0,0 +1,11 @@
+class Branch {
+    public static void main(String[] a) {
+        boolean b ;
+        b = false ;
+
+        if (b)
+            System.out.println(1) ;
+        else
+            System.out.println(2) ;
+    }
+}