Diverging problem + variation that steps on irrelevant arg

[fireball-separation.git] / ocaml / problems / simple.evil

diff --git a/ocaml/problems/simple.evil b/ocaml/problems/simple.evil
index ddf571850ba1d13553bd6b9ca8fee426eb3afb61..60c3bbf42df1312c8327d03b3d21dad38e52cb46 100644 (file)
--- a/ocaml/problems/simple.evil
+++ b/ocaml/problems/simple.evil
@@ -13,11 +13,3 @@ $!
 D x (y1. x (y2. x (y3. x (y4. y1 y2 y3 y4))))\r
 C x (y1. x (y2. x (y3. x (y4. y1 y2 y3 y1))))\r
 C x (y1. x (y2. x (y3. x (y4. y1 y2 y1 y4))))\r
-\r
-$! the measure of the divergent is not sufficient\r
-D x y\r
-C x (y a)\r
-\r
-$! the measure of the divergent is badly not sufficient\r
-D x y\r
-C x (a. y (a b))\r