diff --git a/lib/asn1/gen.c b/lib/asn1/gen.c
index 01f915b8b..cd79dd071 100644
--- a/lib/asn1/gen.c
+++ b/lib/asn1/gen.c
@@ -253,6 +253,7 @@ generate_header_of_codefile(const char *name)
 	     "#include <time.h>\n"
 	     "#include <string.h>\n"
 	     "#include <errno.h>\n"
+	     "#include <limits.h>\n"
 	     "#include <krb5-types.h>\n",
 	     orig_filename);