small fix.

diff --git a/midi_menu.c b/midi_menu.c
index 7a5c8f05bcb9da84c7a0760128793d8a10da7300..14c0783c7de55bd5dd2dda5e55d7791aead388d1 100644 (file)
--- a/midi_menu.c
+++ b/midi_menu.c
@@ -579,7 +579,7 @@ static void add_cb(GtkButton *widget,gpointer user_data) {
   gint action;
   gint onoff;
 
-  if(str_type==NULL || str_action==NULL) {
+  if(str_type==NULL) {
     return;
   }