bumped version to 0.0.3

[helm.git] / helm / DEVEL / mlminidom / ominidom.ml

diff --git a/helm/DEVEL/mlminidom/ominidom.ml b/helm/DEVEL/mlminidom/ominidom.ml
index 343dfa3bef99e433b0017f131037a2c51fb8dfea..5f408f7d304314a8e0849a6769cb5d2035b3bc8e 100644 (file)
--- 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)