From: acondolu <andrea.condoluci@unibo.it>
Date: Sat, 15 Jul 2017 18:25:07 +0000 (+0200)
Subject: Fixed typo in problem
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d0d409e139db96fc72f7d1e31a2526776c56f691;p=fireball-separation.git

Fixed typo in problem
---

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