]> matita.cs.unibo.it Git - fireball-separation.git/commitdiff
Fixed typo in problem
authoracondolu <andrea.condoluci@unibo.it>
Sat, 15 Jul 2017 18:25:07 +0000 (20:25 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Sat, 15 Jul 2017 18:25:07 +0000 (20:25 +0200)
ocaml/problems/o

index 95c3c3dd009c94c410cfe07b779abb20b2bc8c12..d85ca2ed71f1f99c14102722b43f2bc04fbf27a4 100644 (file)
@@ -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