X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmlminidom%2Fminidom.ml;fp=helm%2FDEVEL%2Fmlminidom%2Fminidom.ml;h=1c8e2f7b83b4102cc1ffc8bc9a3fec6dbe43029e;hb=133ffec00f2a97ac6851072e4c3083766f17ab52;hp=118b0d070f56adce245c4a7834a31b620bbd3812;hpb=c9d2cb6413992eae7f06dbb02345a70fe98a193e;p=helm.git

diff --git a/helm/DEVEL/mlminidom/minidom.ml b/helm/DEVEL/mlminidom/minidom.ml
index 118b0d070..1c8e2f7b8 100644
--- a/helm/DEVEL/mlminidom/minidom.ml
+++ b/helm/DEVEL/mlminidom/minidom.ml
@@ -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 : mDOMNode -> mDOMString -> mDOMString option = "ml_node_get_attribute"
 external node_get_attribute_ns : mDOMNode -> mDOMString -> mDOMString -> mDOMString option = "ml_node_get_attribute_ns"
+external node_has_attribute : mDOMNode -> mDOMString -> bool = "ml_node_has_attribute"
+external node_has_attribute_ns : mDOMNode -> mDOMString -> 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"