X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fproblems%2Fq;h=a64140950dce59a9e561d9c6a9febe584c8d35dc;hb=d4cf91b36dc5432622329132d9dbbd158879ca87;hp=01ec75481a6b387f681f19b2d49f1a56cb82480a;hpb=38ecafd7f8a1b5137f642bfa433d27cef8de2908;p=fireball-separation.git

diff --git a/ocaml/problems/q b/ocaml/problems/q
index 01ec754..a641409 100644
--- a/ocaml/problems/q
+++ b/ocaml/problems/q
@@ -19,7 +19,7 @@ N a b Z
 $! q5
 D x y
 C (y. x)
-N x
+N x Z
 
 $! q6
 D x w