src/video/x11/SDL_x11modes.c
changeset 6560 3c48e9d0ce2e
parent 6559 1fc5f5116bd0
child 6564 fa0c355cbcdd
     1.1 --- a/src/video/x11/SDL_x11modes.c	Thu Oct 04 20:41:22 2012 -0700
     1.2 +++ b/src/video/x11/SDL_x11modes.c	Thu Oct 04 23:56:37 2012 -0400
     1.3 @@ -274,7 +274,7 @@
     1.4              mode->refresh_rate = CalculateXRandRRefreshRate(info);
     1.5              ((SDL_DisplayModeData*)mode->driverdata)->xrandr_mode = modeID;
     1.6  #ifdef X11MODES_DEBUG
     1.7 -            printf("XRandR mode %d: %dx%d@%dHz\n", modeID, mode->w, mode->h, mode->refresh_rate);
     1.8 +            printf("XRandR mode %d: %dx%d@%dHz\n", (int) modeID, mode->w, mode->h, mode->refresh_rate);
     1.9  #endif
    1.10              return SDL_TRUE;
    1.11          }