From: acondolu <andrea.condoluci@unibo.it>
Date: Sun, 10 Jun 2018 11:22:20 +0000 (+0200)
Subject: Fix: bug in printing garbage, did not consider the level
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=ca6770197ebeacb27bda594a9b3d8667d8363c74;p=fireball-separation.git

Fix: bug in printing garbage, did not consider the level
---

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
 ;;