1) Matitaweb now disambiguates scripts as it runs them

[helm.git] / matitaB / components / content_pres / smallLexer.mli

diff --git a/matitaB/components/content_pres/smallLexer.mli b/matitaB/components/content_pres/smallLexer.mli
index c4f4565bc167cf243406aee507f59cae26dd60a6..77927a5730e72ee9b62092f6d9c389e8bcc62bd9 100644 (file)
--- 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