--- gList.ml.orig	2013-09-17 10:11:55.000000000 +0200
+++ gList.ml	2013-09-17 10:12:08.000000000 +0200
@@ -126,7 +126,6 @@
   method set_vadjustment adj =
     CList.set_vadjustment obj (GData.as_adjustment adj)
   method set_shadow_type = CList.set_shadow_type obj
-  method set_button_actions = CList.set_button_actions obj
   method set_selection_mode = CList.set_selection_mode obj
   method set_reorderable = CList.set_reorderable obj
   method set_use_drag_icons = CList.set_use_drag_icons obj