--- src/sys/sys/time.h	2005/04/14 07:55:36	1.14
+++ src/sys/sys/time.h	2005/04/14 15:05:29	1.15
@@ -199,8 +199,8 @@ extern int64_t	ntp_delta;
 extern int64_t	ntp_big_delta;
 extern int32_t	ntp_tick_delta;
 extern int32_t	ntp_default_tick_delta;
-extern time_t	ntp_leaf_second;
-extern int	ntp_leaf_insert;
+extern time_t	ntp_leap_second;
+extern int	ntp_leap_insert;
 
 void	initclocks_pcpu(void);
 void	getmicrouptime (struct timeval *tv);