removed X11.flip

diff --git a/lib/x11.ml b/lib/x11.ml
index 949892c0cdd651a293f5b3fb23cb323164728b40..35f4b229455e89ee0c7a1cac241091a8d66b17a8 100644 (file)
--- a/lib/x11.ml
+++ b/lib/x11.ml
@@ -74,9 +74,6 @@ external make_dialog : int -> int -> xwin
 external show_window : xwin -> bool -> unit
                   = "x11_show_window"
 
-external flip : unit -> unit
-                  = "x11_flip"
-
 external draw_rect : xrect -> unit
                    = "x11_draw_rect"