X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=ocaml%2Fproblems%2Fo;h=95c3c3dd009c94c410cfe07b779abb20b2bc8c12;hb=572c25c8db51bd571c7f4810500074bac8c37c31;hp=20d9808df9b7621562fb1f131c9967e192d7d344;hpb=666a228779e465d08a0deea2e35c0cccf5722b40;p=fireball-separation.git

diff --git a/ocaml/problems/o b/ocaml/problems/o
index 20d9808..95c3c3d 100644
--- a/ocaml/problems/o
+++ b/ocaml/problems/o
@@ -1,10 +1,10 @@
 $! o1
-N x a b
-  x (_. BOT) c
+N x a b Z
+  x (_. BOT) c Z
 
 $! o2
-N x (y (_. BOT) a) c
-  x (y a PAC) d
+N x (y (_. BOT) a) c Z
+  x (y a PAC) d Z
 
 $! o3
 D y (x a1 BOMB c) (x BOMB b1 d)