diff --git a/kdc/v4_dump.c b/kdc/v4_dump.c
index 8f6ac1ac1..581544852 100644
--- a/kdc/v4_dump.c
+++ b/kdc/v4_dump.c
@@ -31,11 +31,11 @@
  * SUCH DAMAGE.
  */
 
-#ifdef KRB4
 #include "hprop.h"
 
 RCSID("$Id$");
 
+#ifdef KRB4
 static time_t
 time_parse(const char *cp)
 {