]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mlminidom/ml_minidom.h
fixed typo in ocamldoc comment
[helm.git] / 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 */