X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Fdisambiguate.ml;h=c0e1818e1d18532c6fe480c6f00d05e81112b463;hb=d89e4e0223172caadce1a3e31f9f2163cbf13078;hp=2f02818474b5ccdd1e2f606dd0470817e85c2571;hpb=c65f03d089d758a56914f200659eaa0734e14501;p=helm.git

diff --git a/helm/gTopLevel/disambiguate.ml b/helm/gTopLevel/disambiguate.ml
index 2f0281847..c0e1818e1 100644
--- a/helm/gTopLevel/disambiguate.ml
+++ b/helm/gTopLevel/disambiguate.ml
@@ -75,7 +75,7 @@ module Make(C:Callbacks) =
     let uris =
      List.map
       (function uri,_ ->
-        Misc.wrong_xpointer_format_from_wrong_xpointer_format' uri
+        MQueryMisc.wrong_xpointer_format_from_wrong_xpointer_format' uri
       ) result in
     let html=
      " <h1>Locate Query: </h1><pre>" ^ get_last_query result ^ "</pre>"
@@ -100,7 +100,7 @@ module Make(C:Callbacks) =
           ~id
           uris
      in
-      List.map Misc.cic_textual_parser_uri_of_string uris'
+      List.map MQueryMisc.cic_textual_parser_uri_of_string uris'
 
 
    exception ThereDoesNotExistAnyWellTypedInterpretationOfTheInput