]> matita.cs.unibo.it Git - fireball-separation.git/blobdiff - ocaml/simple.ml
printing of bool refs for apps is now a bit nicer
[fireball-separation.git] / ocaml / simple.ml
index 2cbb448a956a9da8d7506ed57c6019c41fdb3979..d600d30f6347a07697628181248d0c13856aff65 100644 (file)
@@ -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