From: acondolu <andrea.condoluci@unibo.it>
Date: Sat, 15 Jul 2017 15:00:04 +0000 (+0200)
Subject: Forgot one "Z"
X-Git-Tag: weak-reduction-separation~24
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ba03d11a1e37c7ec6f5543be2139322d7589d2cb;p=fireball-separation.git

Forgot one "Z"

(cherry picked from commit 572c25c8db51bd571c7f4810500074bac8c37c31)
---

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