]> matita.cs.unibo.it Git - helm.git/commitdiff
missing macro
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 Nov 2001 14:49:29 +0000 (14:49 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 Nov 2001 14:49:29 +0000 (14:49 +0000)
helm/DEVEL/mlminidom/ml_minidom.h

index f32e8c6f127e17b070f843ca27a9ddae259b3f2e..6009f2af51800da491a8cb4301d93185336d3aa8 100644 (file)
@@ -33,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 */