From 2aaccff18bc81943efe0c1b76dbe4613f93de5bc Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 9 Feb 2009 16:06:53 +0000
Subject: [PATCH] b:action are now considered as m:maction and thus are
 expanded

---
 helm/software/matita/matitaMathView.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.39.2