Fixes to parser

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

diff --git a/ocaml/problems/o b/ocaml/problems/o
index 67fa90bd9699abc076933e654a5e75f14c0e35eb..20d9808df9b7621562fb1f131c9967e192d7d344 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
+  x (_. BOT) c\r
 \r
 $! o2\r
 N x (y (_. BOT) a) c\r
-x (y a PAC) d\r
+  x (y a PAC) d\r
 \r
 $! o3\r
 D y (x a1 BOMB c) (x BOMB b1 d)\r
@@ -14,7 +14,7 @@ C y (x a2 BOMB c) (x BOMB b1 d)
 \r
 $! o4\r
 D x BOMB a1 c\r
-x y BOMB d\r
+  x y BOMB d\r
 \r
 $! o6\r
 D x BOMB\r