Problems that are not distinct commented out.

Those problems can be separated, but picking a different
term to diverge

diff --git a/ocaml/problems/simple.constants.1 b/ocaml/problems/simple.constants.1
index 6cf666d61815ecb5ff85a6645b5d1f91e770a059..30790c5167b0020e8d0182dfb0b08af2e8f2ea23 100644 (file)
--- a/ocaml/problems/simple.constants.1
+++ b/ocaml/problems/simple.constants.1
@@ -3,13 +3,17 @@ D y (x C a) (x b C)
 C y (x C a) (x @ C)\r
 C y (x @ @) (x b C)\r
 \r
-$! simple.constants.1/1\r
-D y (x (y C))\r
-C y (x @)\r
+#is this the problem that requires to make\r
+# x (y C) diverge instead?\r
+#$! simple.constants.1/1\r
+#D y (x (y C))\r
+#C y (x @)\r
 \r
-$! simple.constants.1/1'\r
-D y (z. x (y C))\r
-C y (z. x z)\r
+#is this the problem that requires to make\r
+# x (y C) diverge instead?\r
+#$! simple.constants.1/1'\r
+#D y (z. x (y C))\r
+#C y (z. x z)\r
 \r
 $! simple.constants.1/2\r
 D y (x (y C (x C)))\r