X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmlminidom%2Fominidom.mli;h=e555a860c1abf54470088508c82cbf45289042b0;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=42b7d67ea012a82e7ae81ee1d393c99378cb45c5;hpb=95382c071236ad4bf8e42041839493dec191f921;p=helm.git

diff --git a/helm/DEVEL/mlminidom/ominidom.mli b/helm/DEVEL/mlminidom/ominidom.mli
index 42b7d67ea..e555a860c 100644
--- a/helm/DEVEL/mlminidom/ominidom.mli
+++ b/helm/DEVEL/mlminidom/ominidom.mli
@@ -54,6 +54,8 @@ and o_mDOMNode : Minidom.mDOMNode ->
     method get_attribute : o_mDOMString -> o_mDOMString option
     method get_attribute_ns :
       o_mDOMString -> o_mDOMString -> o_mDOMString option
+    method has_attribute : o_mDOMString -> bool
+    method has_attribute_ns : o_mDOMString -> o_mDOMString -> bool
     method get_attributes : o_mDOMAttr list
     method get_children : o_mDOMNode list
     method get_content : o_mDOMString option