X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fcic_disambiguation%2FdisambiguateTypes.ml;fp=helm%2Fsoftware%2Fcomponents%2Fcic_disambiguation%2FdisambiguateTypes.ml;h=150482fbf503df28236aae0c1753d949dd99f135;hb=683978a2627cf1ce15673360f26806593d22f7b5;hp=8263fd3152b8c2c05bb13e7ce25c64e36f53d8c1;hpb=21a10d0abc0636a49f12fc066f91270cec4d63d1;p=helm.git

diff --git a/helm/software/components/cic_disambiguation/disambiguateTypes.ml b/helm/software/components/cic_disambiguation/disambiguateTypes.ml
index 8263fd315..150482fbf 100644
--- a/helm/software/components/cic_disambiguation/disambiguateTypes.ml
+++ b/helm/software/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