From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 20 Feb 2003 17:16:13 +0000 (+0000)
Subject: fixed references to functions moved from Misc to MQueryMisc
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d89e4e0223172caadce1a3e31f9f2163cbf13078;p=helm.git

fixed references to functions moved from Misc to MQueryMisc
---

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