]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/disambiguate.ml
some interfaces changed to prepare the mathql code for version 1.4
[helm.git] / helm / gTopLevel / disambiguate.ml
index 974e0b49e6655492aa4dd7a97b1c8b5043275b89..efb1c05081d06cd16f1f748e72cfc2be8d21b7f8 100644 (file)
@@ -73,9 +73,9 @@ module Make(C:Callbacks) =
         MQueryMisc.wrong_xpointer_format_from_wrong_xpointer_format' uri
       ) result in
      C.output_html "<h1>Locate Query: </h1><pre>";
-     MQueryUtil.text_of_query C.output_html query ""
+     MQueryUtil.text_of_query C.output_html "" query
      C.output_html "<h1>Result:</h1>";
-     MQueryUtil.text_of_result C.output_html result "<br>";
+     MQueryUtil.text_of_result C.output_html "<br>" result;
      let uris' =
       match uris with
          [] ->