X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmlminidom%2Fminidom.mli;h=4e82b73c6dd230db1dc103b24712e72a1072d6d4;hb=f15a13bab100064a4da238cede323b8d4568c174;hp=36355af31c627b480418757519a48a3def8918aa;hpb=95382c071236ad4bf8e42041839493dec191f921;p=helm.git

diff --git a/helm/DEVEL/mlminidom/minidom.mli b/helm/DEVEL/mlminidom/minidom.mli
index 36355af31..4e82b73c6 100644
--- a/helm/DEVEL/mlminidom/minidom.mli
+++ b/helm/DEVEL/mlminidom/minidom.mli
@@ -30,8 +30,6 @@ external mDOMString_of_string : string -> mDOMString = "ml_mDOMString_of_string"
 external mDOMString_eq : string -> string -> bool = "ml_mDOMString_eq"
 
 external doc_load : string -> mDOMDoc = "ml_doc_load"
-external doc_unload : mDOMDoc -> unit = "ml_doc_unload"
-
 external doc_new : mDOMString -> mDOMDoc = "ml_doc_new"
 external doc_get_root_node : mDOMDoc -> mDOMNode = "ml_doc_get_root_node"
 
@@ -49,6 +47,8 @@ external node_get_name : mDOMNode -> mDOMString option = "ml_node_get_name"
 external node_get_ns_uri : mDOMNode -> mDOMString option = "ml_node_get_ns_uri"
 external node_get_attribute : node:mDOMNode -> name:mDOMString -> mDOMString option = "ml_node_get_attribute"
 external node_get_attribute_ns : node:mDOMNode -> name:mDOMString -> ns_uri:mDOMString -> mDOMString option = "ml_node_get_attribute_ns"
+external node_has_attribute : node:mDOMNode -> name:mDOMString -> bool = "ml_node_has_attribute"
+external node_has_attribute_ns : node:mDOMNode -> name:mDOMString -> ns_uri:mDOMString -> bool = "ml_node_has_attribute_ns"
 external node_get_content : mDOMNode -> mDOMString option = "ml_node_get_content"
 external node_get_parent : mDOMNode -> mDOMNode option = "ml_node_get_parent"
 external node_get_prev_sibling : mDOMNode -> mDOMNode option = "ml_node_get_prev_sibling"