X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmlminidom%2Fml_minidom.h;h=6009f2af51800da491a8cb4301d93185336d3aa8;hb=caab26f85122e0040555139c48a9111a0b2b9fff;hp=f32e8c6f127e17b070f843ca27a9ddae259b3f2e;hpb=133ffec00f2a97ac6851072e4c3083766f17ab52;p=helm.git

diff --git a/helm/DEVEL/mlminidom/ml_minidom.h b/helm/DEVEL/mlminidom/ml_minidom.h
index f32e8c6f1..6009f2af5 100644
--- a/helm/DEVEL/mlminidom/ml_minidom.h
+++ b/helm/DEVEL/mlminidom/ml_minidom.h
@@ -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 */