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
[] ->