Fix return type in GC_set_warn_proc API documentation

(a cherry-pick of commit a63c89e7 from 'master')

* doc/gcinterface.html: Change GC_set_warn_proc return type from
GC_warn_proc to void.

diff --git a/doc/gcinterface.html b/doc/gcinterface.html
index c315af88c5978750704a9408b28958b1fc7405c2..de014f0ceb1f787018146a4836b8bf8cae6ee18d 100644 (file)
--- a/doc/gcinterface.html
+++ b/doc/gcinterface.html
@@ -129,7 +129,7 @@ allocation is used (see
 <A type="text/plain" HREF="../include/gc.h">gc.h</a>).
 On many platforms this interacts poorly with system calls
 that write to the garbage collected heap.
-<DT> <B> GC_warn_proc GC_set_warn_proc(GC_warn_proc <I>p</i>) </b>
+<DT> <B> void GC_set_warn_proc(GC_warn_proc <I>p</i>) </b>
 <DD>
 Replace the default procedure used by the collector to print warnings.
 The collector