]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/content_pres/boxPp.ml
removed deadcode / fixed typos (thanks to ocaml 3.09)
[helm.git] / helm / ocaml / content_pres / boxPp.ml
index ddb9d3b82af51960b832880e0ee90406181a92d2..657f8a9d334d37b062eaf5fc57bf325dbc51af15 100644 (file)
@@ -130,7 +130,7 @@ let render_to_strings size markup =
           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