diff -r 29b2821d1262 -r 157a21a914ac ui/motif/list.c
--- a/ui/motif/list.c	Fri May 16 16:19:46 2014 +0200
+++ b/ui/motif/list.c	Fri May 16 17:39:45 2014 +0200
@@ -149,7 +149,7 @@
 }
 
 void ui_list_selection_callback (Widget widget, UiListViewEventData *event, XtPointer data) {
-    XmListCallbackStruct *cbs = (XmListCallbackStruct *) data;
+    XmListCallbackStruct *cbs = (XmListCallbackStruct *)data;
     
     UiEvent e;
     e.obj = event->event.obj;