X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaMathView.ml;h=f57dc4d320824cd2e67fb213a5368c5dd596c16a;hb=700b170aa9b0377d33f1edd44de8d89129477fb8;hp=19eeaf0d7743d7f8788e703c5f0f595ce1fb2fbd;hpb=8d961585c4ff785d558d5b4c84adf656595ca487;p=helm.git

diff --git a/helm/software/matita/matitaMathView.ml b/helm/software/matita/matitaMathView.ml
index 19eeaf0d7..f57dc4d32 100644
--- a/helm/software/matita/matitaMathView.ml
+++ b/helm/software/matita/matitaMathView.ml
@@ -167,7 +167,8 @@ let hrefs_of_elt elt =
 
 let rec has_maction (elt :Gdome.element) = 
   (* fix this comparison *)
-  if elt#get_tagName#to_string = "m:maction" then
+  if elt#get_tagName#to_string = "m:maction" ||
+   elt#get_tagName#to_string = "b:action" then
     true
   else 
     match elt#get_parentNode with