X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmlminidom%2Fominidom.ml;h=5f408f7d304314a8e0849a6769cb5d2035b3bc8e;hb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;hp=343dfa3bef99e433b0017f131037a2c51fb8dfea;hpb=95382c071236ad4bf8e42041839493dec191f921;p=helm.git

diff --git a/helm/DEVEL/mlminidom/ominidom.ml b/helm/DEVEL/mlminidom/ominidom.ml
index 343dfa3be..5f408f7d3 100644
--- a/helm/DEVEL/mlminidom/ominidom.ml
+++ b/helm/DEVEL/mlminidom/ominidom.ml
@@ -99,6 +99,10 @@ and o_mDOMNode (node : Minidom.mDOMNode) =
       with
       | Some x -> Some (new o_mDOMString x)
       | None   -> None
+    method has_attribute (name : o_mDOMString) =
+     Minidom.node_has_attribute node (name#get_dom_string)
+    method has_attribute_ns (name : o_mDOMString) (uri : o_mDOMString) =
+     Minidom.node_has_attribute_ns node (name#get_dom_string) (uri#get_dom_string)
     method get_content =
       match Minidom.node_get_content node with
       | Some x -> Some (new o_mDOMString x)