X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_extraction%2Fcommon.ml;h=fffc09974da6bdf965a028a93324faf9157e9f13;hb=59dfa0b85ba8a74f4b5c175f72ac7ebeed6fca7f;hp=57a27e92b58fa29727eb05c2020420c9fc507643;hpb=18c1584b94ad85301a95b69fe0a8fa8e02b61648;p=helm.git

diff --git a/matita/components/ng_extraction/common.ml b/matita/components/ng_extraction/common.ml
index 57a27e92b..fffc09974 100644
--- 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 =