X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent_pres%2FsmallLexer.mli;h=77927a5730e72ee9b62092f6d9c389e8bcc62bd9;hb=ccf5878f2a2ec7f952f140e162391708a740517b;hp=c4f4565bc167cf243406aee507f59cae26dd60a6;hpb=42680d47c033d751738fd0f84af7b45b2a91a5b8;p=helm.git

diff --git a/matitaB/components/content_pres/smallLexer.mli b/matitaB/components/content_pres/smallLexer.mli
index c4f4565bc..77927a573 100644
--- a/matitaB/components/content_pres/smallLexer.mli
+++ b/matitaB/components/content_pres/smallLexer.mli
@@ -2,4 +2,4 @@
         * unit Token.glexer*)
 val mk_small_printer : 
         GrafiteAst.alias_spec DisambiguateTypes.InterprEnv.t ->
-        out_channel -> Ulexing.lexbuf -> unit * Stdpp.location
+        string ref -> Ulexing.lexbuf -> unit * Stdpp.location