version 0.7.1

[helm.git] / helm / ocaml / cic_transformations / mpresentation.ml

diff --git a/helm/ocaml/cic_transformations/mpresentation.ml b/helm/ocaml/cic_transformations/mpresentation.ml
index 05e76fcde504058dc6d3c7f089c7651dd290f8a4..6943d9cafeecdca729a82a6247f8c899a6fd4632 100644 (file)
--- a/helm/ocaml/cic_transformations/mpresentation.ml
+++ b/helm/ocaml/cic_transformations/mpresentation.ml
@@ -156,7 +156,7 @@ let print_mpres obj_printer mpres =
         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