git status! separation problem seems now undecidable git status!

[fireball-separation.git] / ocaml_new / problems / 1

diff --git a/ocaml_new/problems/1 b/ocaml_new/problems/1
index ae0bb441b0837c567801789bb40a35b4fac47f90..1c6b12a8b4b70aa6c3dabd69b42079ec326ba737 100644 (file)
--- a/ocaml_new/problems/1
+++ b/ocaml_new/problems/1
@@ -29,5 +29,12 @@ C y x
 \r
 $? 1 6\r
 D x x\r
+C y x\r
+  x z\r
+  y (x x)\r
+\r
+\r
+$? 1 7\r
+D x x\r
 C y x\r
   y (x x)\r