X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fproblems%2Fo;h=d85ca2ed71f1f99c14102722b43f2bc04fbf27a4;hb=704fd9d9db0c01619264527d4174afe74bdff53d;hp=95c3c3dd009c94c410cfe07b779abb20b2bc8c12;hpb=82dd1911598932af386c4de46398624453e1fc31;p=fireball-separation.git

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