Fixed eta_compare in the case Lam vs. Bot

[fireball-separation.git] / ocaml / problems / o

diff --git a/ocaml/problems/o b/ocaml/problems/o
index 95c3c3dd009c94c410cfe07b779abb20b2bc8c12..d85ca2ed71f1f99c14102722b43f2bc04fbf27a4 100644 (file)
--- a/ocaml/problems/o
+++ b/ocaml/problems/o
@@ -14,7 +14,7 @@ C y (x a2 BOMB c) (x BOMB b1 d)
 \r
 $! o4\r
 D x BOMB a1 c\r
-  x y BOMB d\r
+C x y BOMB d\r
 \r
 $! o6\r
 D x BOMB\r