X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_extraction%2Fcommon.mli;h=2cf44e003d93fd4f2b1c4e93883444a4a2070294;hb=1d3dc48a9755b08ecb93d88b67b8445fbb314ad6;hp=4bde847ac77e76fdf2b75778d594b253483b7d7d;hpb=95e3387af669e9a9e30dafd4d096c2741fc9041c;p=helm.git

diff --git a/matita/components/ng_extraction/common.mli b/matita/components/ng_extraction/common.mli
index 4bde847ac..2cf44e003 100644
--- a/matita/components/ng_extraction/common.mli
+++ b/matita/components/ng_extraction/common.mli
@@ -19,7 +19,6 @@ open OcamlExtractionTable
     we attach a big virtual size to [fnl] newlines. *)
 
 val fnl : unit -> std_ppcmds
-val fnl2 : unit -> std_ppcmds
 val space_if : bool -> std_ppcmds
 
 val pp_par : bool -> std_ppcmds -> std_ppcmds