From: Michael D. Lowis <mike.lowis@gentex.com>
Date: Wed, 18 Oct 2017 18:29:07 +0000 (-0400)
Subject: removed X11.flip
X-Git-Url: https://git.mdlowis.com/?a=commitdiff_plain;h=f894bdc2120464d19308f9bb0152fbb0147baf4c;p=archive%2Ftide-ocaml.git

removed X11.flip
---

diff --git a/lib/x11.ml b/lib/x11.ml
index 949892c..35f4b22 100644
--- 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"