X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaGtkMisc.mli;h=0f78a4a61b45eadaa1a4cfe51e12e75ee9405765;hb=f2d9db85559c7a8db11aae1153495fae4a258d54;hp=40fc9373bd68f7fd4aadb7dc757228af8235f640;hpb=d1f310f1f31b6919aa6e5ac6afd41b539130aec5;p=helm.git

diff --git a/helm/software/matita/matitaGtkMisc.mli b/helm/software/matita/matitaGtkMisc.mli
index 40fc9373b..0f78a4a61 100644
--- a/helm/software/matita/matitaGtkMisc.mli
+++ b/helm/software/matita/matitaGtkMisc.mli
@@ -146,7 +146,7 @@ val report_error:
 
     (* given an utf8 string a floc returns the parsed substring and its length
      * in bytes *)
-val utf8_parsed_text: string -> Token.flocation -> string * int
+val utf8_parsed_text: string -> Stdpp.location -> string * int
 
     (* the length in characters, not bytes *)
 val utf8_string_length: string -> int