- let xmlpres = Mpresentation.print_mpres pres_sequent in
- Xml2Gdome.document_of_xml Misc.domImpl xmlpres,
- (ids_to_terms,ids_to_father_ids,ids_to_hypotheses)
+ let xmlpres = mpres_document pres_sequent in
+ (* Xml.pp_to_outchan xmlpres stdout ; *)
+ try
+ Xml2Gdome.document_of_xml Misc.domImpl xmlpres, (ids_to_terms,ids_to_father_ids,ids_to_hypotheses)
+ with
+ e ->
+ prerr_endline ("LUCA: eccezione in document_of_xml " ^ (Printexc.to_string e)) ;
+ raise e