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

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

diff --git a/components/cic_disambiguation/disambiguateTypes.ml b/components/cic_disambiguation/disambiguateTypes.ml
index 8263fd3152b8c2c05bb13e7ce25c64e36f53d8c1..150482fbf503df28236aae0c1753d949dd99f135 100644 (file)
--- a/components/cic_disambiguation/disambiguateTypes.ml
+++ b/components/cic_disambiguation/disambiguateTypes.ml
@@ -116,7 +116,7 @@ module type Callbacks =
       UriManager.uri list
     val interactive_interpretation_choice:
       string -> int ->
-      (Token.flocation list * string * string) list list -> int list
+      (Stdpp.location list * string * string) list list -> int list
     val input_or_locate_uri:
       title:string -> ?id:string -> unit -> UriManager.uri option
   end