--- winframe.c.orig	Thu Jan 13 22:36:25 1994
+++ ./winframe.c	Fri Jul 16 21:49:05 1999
@@ -52,6 +52,8 @@
 
 extern Time TimeFresh();
 
+static	headerHeight();
+
 /***************************************************************************
 * private data
 ***************************************************************************/
