Move to OCaml 3.10. Requires debian packages from unstable (soon in testing).

[helm.git] / components / cic_disambiguation / disambiguateTypes.mli

diff --git a/components/cic_disambiguation/disambiguateTypes.mli b/components/cic_disambiguation/disambiguateTypes.mli
index b584f0bec25437ea993cd3aa35108c171e539e84..96105670108e7d24a184c6042838bfd8659611c6 100644 (file)
--- a/components/cic_disambiguation/disambiguateTypes.mli
+++ b/components/cic_disambiguation/disambiguateTypes.mli
@@ -72,7 +72,7 @@ module type Callbacks =
 
       val interactive_interpretation_choice :
         string -> int ->
-      (Token.flocation list * string * string) list list -> int list
+      (Stdpp.location list * string * string) list list -> int list
 
     (** @param title gtk window title for user prompting
      * @param id unbound identifier which originated this callback invocation *)