X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fmpresentation.ml;h=6943d9cafeecdca729a82a6247f8c899a6fd4632;hb=12cc5b2b8e7f7bb0b5e315094b008a293a4df6b1;hp=05e76fcde504058dc6d3c7f089c7651dd290f8a4;hpb=e011e7cd08af361cb5de9c953bfc58b4cd918308;p=helm.git

diff --git a/helm/ocaml/cic_transformations/mpresentation.ml b/helm/ocaml/cic_transformations/mpresentation.ml
index 05e76fcde..6943d9caf 100644
--- 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