From: Luca Padovani Date: Wed, 8 Nov 2000 15:59:11 +0000 (+0000) Subject: *** empty log message *** X-Git-Tag: nogzip~195 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=cd9512e1dab9d1827ce153fc1765cd5208c67599 *** empty log message *** --- diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/ml_minidom.h b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/ml_minidom.h index 2a812ae0f..c40060153 100644 --- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/ml_minidom.h +++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/ml_minidom.h @@ -3,4 +3,8 @@ #define Val_mDOMString(s) (copy_string((char*) (s))) #define mDOMString_val(v) ((mDOMStringRef) String_val(v)) #define mDOMNode_val(v) ((mDOMNodeRef) v) -#define Val_mDOMNode_option(p) ((p != NULL) ? ml_some((value) p) : Val_unit) + +#define mDOMNode_option_mDOMNodeRef(p) (((p) != NULL) ? ml_some((value) (p)) : Val_unit) +#define mDOMNodeRef_mDOMNode_option(v) (((v) == Val_unit) ? NULL : Field((v),0)) +#define Val_mDOMNodeRef(p) ((value) mDOMNode_option_mDOMNodeRef(p)) +#define mDOMNodeRef_val(v) ((mDOMNodeRef) mDOMNodeRef_mDOMNode_option(v)) diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/test.opt b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/test.opt index 4f31b8815..20307125b 100755 Binary files a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/test.opt and b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/test.opt differ