--- winframe.c.orig	Thu Jan 13 16:36:25 1994
+++ winframe.c	Tue Sep 29 22:08:34 1998
@@ -52,6 +52,8 @@
 
 extern Time TimeFresh();
 
+static	headerHeight();
+
 /***************************************************************************
 * private data
 ***************************************************************************/
