From de4af0369ca42ff29a65a42a1d6cce9a6f7e150e Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 6 Jul 2005 09:13:11 +0000 Subject: [PATCH] typo fixed: s/msemantics/semantics/ --- helm/ocaml/cic_transformations/mpresentation.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2