diff options
Diffstat (limited to 'video/win32_v.c')
| -rw-r--r-- | video/win32_v.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/video/win32_v.c b/video/win32_v.c index 87533a551..989d7ff4a 100644 --- a/video/win32_v.c +++ b/video/win32_v.c @@ -709,7 +709,7 @@ static void Win32GdiMainLoop(void) _wnd.running = true; - while(true) { + for (;;) { while (PeekMessage(&mesg, NULL, 0, 0, PM_REMOVE)) { InteractiveRandom(); // randomness TranslateMessage(&mesg); |