Pretty printing of ocaml files slightly improved.

[helm.git] / matita / components / ng_extraction / common.ml

diff --git a/matita/components/ng_extraction/common.ml b/matita/components/ng_extraction/common.ml
index 57a27e92b58fa29727eb05c2020420c9fc507643..fffc09974da6bdf965a028a93324faf9157e9f13 100644 (file)
--- a/matita/components/ng_extraction/common.ml
+++ b/matita/components/ng_extraction/common.ml
@@ -32,8 +32,6 @@ let pr_binding = function
 
 let fnl () = stras (1000000,"") ++ fnl ()
 
-let fnl2 () = fnl () ++ fnl ()
-
 let space_if = function true -> str " " | false -> mt ()
 
 let is_invalid_id s =