Warning fix in gnome-libs/gtk-xmhtml/XmHTML.c

[Kjartan Maraas <kmaraas fib hl no>]

This fixes a warning in XmHTML.c (I just hope it's the correct fix ;-)).

Ok?

Cheers
Kjartan
--- XmHTML.c.old	Wed Apr  8 16:45:35 1998
+++ XmHTML.c	Fri May  8 22:30:50 1998
@@ -351,6 +351,8 @@
 * _XmRedisplayGadgets (Widget, XEvent*, Region);
 */
 
+static void DestroyPhaseZero (XmHTMLWidget html);
+
 /*** Public Variable Declarations ***/
 
 /*** Private Datatype Declarations ****/