]> matita.cs.unibo.it Git - fireball-separation.git/blobdiff - ocaml/simple.ml
Fix: bug in printing garbage, did not consider the level
[fireball-separation.git] / ocaml / simple.ml
index a028b1f269015752f08833999edad20386d1cf52..274b100b8a57e6ff0740ca07ee97b9d17e601110 100644 (file)
@@ -62,7 +62,7 @@ let string_of_t =
     | _ as t -> string_of_term_w_pars level t\r
   and string_of_term_no_pars level = function\r
     | L(t,g) -> "λ" ^ string_of_bvar level ^ ". " ^ string_of_term_no_pars (level+1) t\r
-       ^ (if g = [] then "" else String.concat ", " ("" :: List.map (string_of_term_w_pars level) g))\r
+       ^ (if g = [] then "" else String.concat ", " ("" :: List.map (string_of_term_w_pars (level+1)) g))\r
     | _ as t -> string_of_term_no_pars_app level t\r
   in string_of_term_no_pars 0\r
 ;;\r