X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FxmlDiff.ml;h=307e02ac0db8c325fd45b0b5ebb3158a89118a3c;hb=9215c609bf523dcf07666c0dd2eb8732c08fb55c;hp=9468ccc3f68a96bd1a16a7db85f4448828969a1c;hpb=122304a548cba036c8bb3769e00276b2eb3f179d;p=helm.git

diff --git a/helm/gTopLevel/xmlDiff.ml b/helm/gTopLevel/xmlDiff.ml
index 9468ccc3f..307e02ac0 100644
--- a/helm/gTopLevel/xmlDiff.ml
+++ b/helm/gTopLevel/xmlDiff.ml
@@ -53,7 +53,7 @@ let highlight_node ?(color="yellow") (doc: Gdome.document) (n: Gdome.node) =
     ~namespaceURI:(Some (Gdome.domString mathmlns))
     ~qualifiedName:(Gdome.domString "m:mstyle")
   in
-   highlighter#setAttribute ~name:(Gdome.domString "background")
+   highlighter#setAttribute ~name:(Gdome.domString "mathbackground")
     ~value:(Gdome.domString color) ;
    highlighter#setAttributeNS
     ~namespaceURI:(Some (Gdome.domString xmldiffns))