diff -r bb3241de289e -r e27bdcc80744 src/video/svga/SDL_svgaevents.c
--- a/src/video/svga/SDL_svgaevents.c	Wed Apr 23 06:27:10 2008 +0000
+++ b/src/video/svga/SDL_svgaevents.c	Tue Jun 10 06:45:39 2008 +0000
@@ -207,8 +207,7 @@
         posted = 0;
         mouse_update();
         keyboard_update();
-    }
-    while (posted);
+    } while (posted);
 }
 
 void