casa-mp-base

--- src/cmdline/dw_readline_completion.c.orig   2017-01-20 02:42:05.000000000 -0600

+++ src/cmdline/dw_readline_completion.c    2017-01-20 02:44:27.000000000 -0600

@@ -32,7 +32,7 @@

 void initialize_readline()

 {

    rl_readline_name="dwarf";

-   rl_attempted_completion_function=(CPPFunction *)dwarf_completion;

+   rl_attempted_completion_function=(rl_completion_func_t *)dwarf_completion;

    rl_completer_word_break_characters = " \t\n\"\\'<=;+*/%^~#{}(),.->$@";

    rl_completion_append_character = ' ';

 }