X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2Fdisambiguate.ml;fp=helm%2Focaml%2Fcic_disambiguation%2Fdisambiguate.ml;h=3acfd39043e26cab9d7c2ff8f6275cce73f3fd83;hb=6203a9d0d56c7ec7cd11713b5ed56645271154be;hp=8bdb409e923ed19387be8a66fb1b765492ceb582;hpb=1b5b2faaee8b16e376ac10d63ef8a03ba14698b1;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml
index 8bdb409e9..3acfd3904 100644
--- a/helm/ocaml/cic_disambiguation/disambiguate.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguate.ml
@@ -687,7 +687,7 @@ end
 module Make (C: Callbacks) =
   struct
     let choices_of_id dbd id =
-      let uris = MetadataQuery.locate ~dbd id in
+      let uris = Whelp.locate ~dbd id in
       let uris =
        match uris with
         | [] ->