printing of bool refs for apps is now a bit nicer

diff --git a/ocaml/simple.ml b/ocaml/simple.ml
index 2cbb448a956a9da8d7506ed57c6019c41fdb3979..d600d30f6347a07697628181248d0c13856aff65 100644 (file)
--- a/ocaml/simple.ml
+++ b/ocaml/simple.ml
@@ -44,7 +44,7 @@ let sep_of_app =
       | None ->\r
          apps := !apps @ [r];\r
          List.length !apps\r
-    in "," ^ string_of_int i ^ " "\r
+    in " " ^ string_of_int i ^ ":"\r
 ;;\r
 \r
 let string_of_t =\r