X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fmpresentation.ml;fp=helm%2Focaml%2Fcic_transformations%2Fmpresentation.ml;h=34c65a4174e561f8fd42e9991b4588492f5e1360;hp=09eb6331e085caa2dd1ae94a506ecdd16b4f8beb;hb=ec350d553d0da4c2bdcf7504057ceb481217ac47;hpb=9215c609bf523dcf07666c0dd2eb8732c08fb55c

diff --git a/helm/ocaml/cic_transformations/mpresentation.ml b/helm/ocaml/cic_transformations/mpresentation.ml
index 09eb6331e..34c65a417 100644
--- a/helm/ocaml/cic_transformations/mpresentation.ml
+++ b/helm/ocaml/cic_transformations/mpresentation.ml
@@ -217,7 +217,7 @@ let print_mpres pres =
      [Some "xmlns","m","http://www.w3.org/1998/Math/MathML" ;
       Some "xmlns","helm","http://www.cs.unibo.it/helm" ;
       Some "xmlns","xlink","http://www.w3.org/1999/xlink"
-     ] (print_mpres pres)
+     ] (Xml.xml_nempty ~prefix "mstyle" [None, "mathvariant", "normal"] (print_mpres pres))
  >]