X.xml_nempty ~prefix "maction" attr
[< (List.fold_right (fun x i -> [< (aux x) ; i >]) l [<>]) >]
| Mobject (attr, obj) ->
- X.xml_nempty ~prefix "msemantics" attr (obj_printer obj)
+ X.xml_nempty ~prefix "semantics" attr (obj_printer obj)
and aux_mrow =
let module X = Xml in
function