jdk/src/share/back/util.c
changeset 22934 705df2581571
parent 21278 ef8a3a2a72f2
child 23010 6dadb192ad81
--- a/jdk/src/share/back/util.c	Wed Feb 05 18:37:42 2014 +0000
+++ b/jdk/src/share/back/util.c	Thu Feb 06 10:43:09 2014 +0000
@@ -2122,7 +2122,7 @@
 jdwpError
 map2jdwpError(jvmtiError error)
 {
-    switch ( error ) {
+    switch ( (int)error ) {
         case JVMTI_ERROR_NONE:
             return JDWP_ERROR(NONE);
         case AGENT_ERROR_INVALID_THREAD: