(***************************************************************************)
let mpres_document pres_box =
(***************************************************************************)
let mpres_document pres_box =
- Ast2pres.add_xml_declaration
- (Box.box2xml ~obj2xml:Mpresentation.print_mpres pres_box)
+ let obj2xml obj = Mpresentation.print_mpres (fun _ -> assert false) obj in
+ Ast2pres.add_xml_declaration (Box.box2xml ~obj2xml pres_box)
let mml_of_cic_sequent metasenv sequent =
let asequent,ids_to_terms,
let mml_of_cic_sequent metasenv sequent =
let asequent,ids_to_terms,