]> matita.cs.unibo.it Git - fireball-separation.git/blobdiff - ocaml/problems/q
Forgot one "Z"
[fireball-separation.git] / 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