1.1 --- a/src/gtkui/gtk_debug.c	Tue Jul 22 04:40:55 2008 +0000
     1.2 +++ b/src/gtkui/gtk_debug.c	Mon Oct 20 06:11:10 2008 +0000
     1.3 @@ -259,7 +259,7 @@
     1.4      gtk_entry_set_text( data->page_field, addr );
     1.5  
     1.6      if( !data->cpu->is_valid_page_func( from ) ) {
     1.7 -        arr[3] = _("This page is currently unmapped");
     1.8 +        arr[3] = (char *)_("This page is currently unmapped");
     1.9          gtk_clist_append( data->disasm_list, arr );
    1.10          gtk_clist_set_foreground( data->disasm_list, 0, &gui_colour_error );
    1.11      } else {