]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mlminidom/ml_minidom.h
mlminidom 0.0.2 for minidom 0.1.3
[helm.git] / helm / DEVEL / mlminidom / ml_minidom.h
index 4b92566b973b9bd9a942967b9aaa586149bbb447..f32e8c6f127e17b070f843ca27a9ddae259b3f2e 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)