better UI for TeX/Unicode and terms grammar

[helm.git] / helm / software / matita / matitaGtkMisc.mli

diff --git a/helm/software/matita/matitaGtkMisc.mli b/helm/software/matita/matitaGtkMisc.mli
index 40fc9373bd68f7fd4aadb7dc757228af8235f640..03d89cd272f9265df49c1958900e9fc5f04f5629 100644 (file)
--- a/helm/software/matita/matitaGtkMisc.mli
+++ b/helm/software/matita/matitaGtkMisc.mli
@@ -146,9 +146,9 @@ 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
 
-
+val new_search_win: string -> string -> MatitaGeneratedGui.searchWin