let ast2mpresXml ((ast, ids_to_uris) as arg) =
let astBox = ast2astBox arg in
let smallAst2mpresXml ast =
- P.print_mpres (ast2mpres (ast, ids_to_uris))
+ P.print_mpres (fun _ -> assert false) (ast2mpres (ast, ids_to_uris))
in
(Box.box2xml ~obj2xml:smallAst2mpresXml astBox)