From f894bdc2120464d19308f9bb0152fbb0147baf4c Mon Sep 17 00:00:00 2001 From: "Michael D. Lowis" Date: Wed, 18 Oct 2017 14:29:07 -0400 Subject: [PATCH] removed X11.flip --- lib/x11.ml | 3 --- 1 file changed, 3 deletions(-) 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" -- 2.52.0