diff --git a/kdc/v4_dump.c b/kdc/v4_dump.c
index 2eeb25ad8..8f6ac1ac1 100644
--- a/kdc/v4_dump.c
+++ b/kdc/v4_dump.c
@@ -31,6 +31,7 @@
  * SUCH DAMAGE.
  */
 
+#ifdef KRB4
 #include "hprop.h"
 
 RCSID("$Id$");
@@ -131,3 +132,4 @@ v4_prop_dump(void *arg, const char *file)
     }
     return 0;
 }
+#endif