]> matita.cs.unibo.it Git - fireball-separation.git/commitdiff
Forgot one "Z"
authoracondolu <andrea.condoluci@unibo.it>
Sat, 15 Jul 2017 15:00:04 +0000 (17:00 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 28 May 2018 09:09:01 +0000 (11:09 +0200)
(cherry picked from commit 572c25c8db51bd571c7f4810500074bac8c37c31)

ocaml/problems/q

index 01ec75481a6b387f681f19b2d49f1a56cb82480a..a64140950dce59a9e561d9c6a9febe584c8d35dc 100644 (file)
@@ -19,7 +19,7 @@ N a b Z
 $! q5\r
 D x y\r
 C (y. x)\r
-N x\r
+N x Z\r
 \r
 $! q6\r
 D x w\r