- the mathql interpreter is not helm-dependent any more

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

diff --git a/helm/DEVEL/mlminidom/ominidom.mli b/helm/DEVEL/mlminidom/ominidom.mli
index 42b7d67ea012a82e7ae81ee1d393c99378cb45c5..e555a860c1abf54470088508c82cbf45289042b0 100644 (file)
--- 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