X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmlminidom%2Fml_minidom.h;h=6009f2af51800da491a8cb4301d93185336d3aa8;hb=ba64642ca7771cd9cc7b9f73476c8f608ffeeda5;hp=4b92566b973b9bd9a942967b9aaa586149bbb447;hpb=95382c071236ad4bf8e42041839493dec191f921;p=helm.git

diff --git a/helm/DEVEL/mlminidom/ml_minidom.h b/helm/DEVEL/mlminidom/ml_minidom.h
index 4b92566b9..6009f2af5 100644
--- a/helm/DEVEL/mlminidom/ml_minidom.h
+++ b/helm/DEVEL/mlminidom/ml_minidom.h
@@ -26,7 +26,6 @@
 #ifndef Val_option
 #define Val_option(p,f)   ((p != NULL) ? ml_some(f(p)) : Val_unit)
 #endif /* Val_option */
-#define Val_mDOMString(s) (copy_string((char*) (s)))
 #define mDOMString_val(v) ((mDOMStringRef) String_val(v))
 #define mDOMNode_val(v) ((mDOMNodeRef) v)
 
@@ -34,5 +33,6 @@
 #define mDOMNodeRef_mDOMNode_option(v) ((v == Val_unit) ? NULL : (mDOMNodeRef)Field((v),0))
 #define Val_mDOMNodeRef(p)             (mDOMNode_option_mDOMNodeRef(p))
 #define mDOMNodeRef_val(v)             (mDOMNodeRef_mDOMNode_option(v))
+#define mDOMDocRef_val(r)              (*((mDOMDocRef *)Data_custom_val(r)))
 
 #endif /* ml_minidom_h */