Important: added special variable "Z" for zero.

[fireball-separation.git] / ocaml / problems / o

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