]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mlminidom/ml_minidom.h
...
[helm.git] / helm / DEVEL / mlminidom / ml_minidom.h
index 4b92566b973b9bd9a942967b9aaa586149bbb447..6009f2af51800da491a8cb4301d93185336d3aa8 100644 (file)
@@ -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 */