b:action are now considered as m:maction and thus are expanded

diff --git a/helm/software/matita/matitaMathView.ml b/helm/software/matita/matitaMathView.ml
index 19eeaf0d7743d7f8788e703c5f0f595ce1fb2fbd..f57dc4d320824cd2e67fb213a5368c5dd596c16a 100644 (file)
--- 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