diff -r 1a2c91815f2f -r adbf7900b848 examples/mini/mini.c
--- a/examples/mini/mini.c	Mon Jul 25 10:30:17 2011 +0200
+++ b/examples/mini/mini.c	Mon Jul 25 10:30:34 2011 +0200
@@ -359,7 +359,6 @@
 
 void request_lock_callback(void *cb_data)
 {
-    ec_master_t *m = (ec_master_t *) cb_data;
     down(&master_sem);
 }
 
@@ -367,7 +366,6 @@
 
 void release_lock_callback(void *cb_data)
 {
-    ec_master_t *m = (ec_master_t *) cb_data;
     up(&master_sem);
 }