* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
module Pres = Mpresentation
(** {2 Pretty printing from BoxML to strings} *)
let tl_renderings =
List.map
(fun f ->
- let indent_header = if indent then string_indent else "" in
+(* let indent_header = if indent then string_indent else "" in *)
snd (indent_children (f children_size)))
tl_fs
in