From ca6770197ebeacb27bda594a9b3d8667d8363c74 Mon Sep 17 00:00:00 2001 From: acondolu Date: Sun, 10 Jun 2018 13:22:20 +0200 Subject: [PATCH] Fix: bug in printing garbage, did not consider the level --- ocaml/simple.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ocaml/simple.ml b/ocaml/simple.ml index a028b1f..274b100 100644 --- a/ocaml/simple.ml +++ b/ocaml/simple.ml @@ -62,7 +62,7 @@ let string_of_t = | _ as t -> string_of_term_w_pars level t and string_of_term_no_pars level = function | L(t,g) -> "λ" ^ string_of_bvar level ^ ". " ^ string_of_term_no_pars (level+1) t - ^ (if g = [] then "" else String.concat ", " ("" :: List.map (string_of_term_w_pars level) g)) + ^ (if g = [] then "" else String.concat ", " ("" :: List.map (string_of_term_w_pars (level+1)) g)) | _ as t -> string_of_term_no_pars_app level t in string_of_term_no_pars 0 ;; -- 2.39.2