jdk/src/share/instrument/JarFacade.c
changeset 22964 59c522d83ed9
parent 5506 202f599c92aa
child 23014 af8145529dd4
--- a/jdk/src/share/instrument/JarFacade.c	Thu Feb 13 00:01:07 2014 +0100
+++ b/jdk/src/share/instrument/JarFacade.c	Thu Feb 13 14:08:12 2014 +0000
@@ -33,6 +33,7 @@
 #endif /* _WIN32 */
 #include <string.h>
 #include <stdlib.h>
+#include <ctype.h>
 
 #include "jni.h"
 #include "manifest_info.h"