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

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

diff --git a/components/cic_disambiguation/disambiguate.mli b/components/cic_disambiguation/disambiguate.mli
index 4fe40da91fb5db8fbe2665df40e73ddca4b17524..5dc0df28b164feaa1d89c880e7cdb3f5323ef0d7 100644 (file)
--- a/components/cic_disambiguation/disambiguate.mli
+++ b/components/cic_disambiguation/disambiguate.mli
@@ -35,9 +35,9 @@
   *   useless for the final user ... *)
 exception NoWellTypedInterpretation of
  int *
- ((Token.flocation list * string * string) list *
+ ((Stdpp.location list * string * string) list *
   (DisambiguateTypes.domain_item * DisambiguateTypes.codomain_item) list *
-  Token.flocation option * string Lazy.t * bool) list
+  Stdpp.location option * string Lazy.t * bool) list
 exception PathNotWellFormed
 
 val interpretate_path :