split non-logic level of whelp away from metadataQuery to a new module

[helm.git] / helm / ocaml / cic_disambiguation / disambiguate.ml

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml
index 8bdb409e923ed19387be8a66fb1b765492ceb582..3acfd39043e26cab9d7c2ff8f6275cce73f3fd83 100644 (file)
--- 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
         | [] ->