X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fproblems%2Fq;h=a64140950dce59a9e561d9c6a9febe584c8d35dc;hb=4c157f176c89dcb5633d60c5be8a444ae0529c29;hp=01ec75481a6b387f681f19b2d49f1a56cb82480a;hpb=82dd1911598932af386c4de46398624453e1fc31;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