summaryrefslogtreecommitdiff
path: root/cord/gc.h
diff options
context:
space:
mode:
Diffstat (limited to 'cord/gc.h')
-rw-r--r--cord/gc.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/cord/gc.h b/cord/gc.h
index ab7944e..0c7a282 100644
--- a/cord/gc.h
+++ b/cord/gc.h
@@ -429,6 +429,7 @@ extern GC_PTR GC_make_closure GC_PROTO((GC_finalization_proc fn, GC_PTR data));
extern void GC_debug_invoke_finalizer GC_PROTO((GC_PTR obj, GC_PTR data));
/* GC_set_warn_proc can be used to redirect or filter warning messages. */
+/* p may not be a NULL pointer. */
typedef void (*GC_warn_proc) GC_PROTO((char *msg, GC_word arg));
extern GC_warn_proc GC_set_warn_proc GC_PROTO((GC_warn_proc p));
/* Returns old warning procedure. */