diff --git a/appl/push/push_locl.h b/appl/push/push_locl.h
index 1558fda97..52fc75711 100644
--- a/appl/push/push_locl.h
+++ b/appl/push/push_locl.h
@@ -92,7 +92,3 @@
 #ifdef KRB5
 #include <krb5.h>
 #endif
-
-#ifdef KRB4
-#include <krb.h>
-#endif