diff --git a/gdk/mir/gdkmirdisplay.c b/gdk/mir/gdkmirdisplay.c
index 73f8bcf835..ffcee8ac0b 100644
--- a/gdk/mir/gdkmirdisplay.c
+++ b/gdk/mir/gdkmirdisplay.c
@@ -361,14 +361,6 @@ gdk_mir_display_get_cursor_for_surface (GdkDisplay      *display,
   return NULL;
 }
 
-static GList *
-gdk_mir_display_list_devices (GdkDisplay *display)
-{
-  //g_printerr ("gdk_mir_display_list_devices\n");
-  // FIXME: Should this access the device manager?
-  return NULL;
-}
-
 static GdkAppLaunchContext *
 gdk_mir_display_get_app_launch_context (GdkDisplay *display)
 {
@@ -753,7 +745,6 @@ gdk_mir_display_class_init (GdkMirDisplayClass *klass)
   display_class->get_cursor_for_type = gdk_mir_display_get_cursor_for_type;
   display_class->get_cursor_for_name = gdk_mir_display_get_cursor_for_name;
   display_class->get_cursor_for_surface = gdk_mir_display_get_cursor_for_surface;
-  display_class->list_devices = gdk_mir_display_list_devices;
   display_class->get_app_launch_context = gdk_mir_display_get_app_launch_context;
   display_class->before_process_all_updates = gdk_mir_display_before_process_all_updates;
   display_class->after_process_all_updates = gdk_mir_display_after_process_all_updates;