Pretty printing of ocaml files slightly improved.

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

diff --git a/matita/components/ng_extraction/common.mli b/matita/components/ng_extraction/common.mli
index 4bde847ac77e76fdf2b75778d594b253483b7d7d..2cf44e003d93fd4f2b1c4e93883444a4a2070294 100644 (file)
--- 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