diff options
Diffstat (limited to 'gdb/mi/mi-console.c')
| -rw-r--r-- | gdb/mi/mi-console.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/mi/mi-console.c b/gdb/mi/mi-console.c index 8df51ab2f91..b27d14ea746 100644 --- a/gdb/mi/mi-console.c +++ b/gdb/mi/mi-console.c @@ -66,7 +66,7 @@ mi_console_file_delete (struct ui_file *file) struct mi_console_file *mi_console = ui_file_data (file); if (mi_console->magic != &mi_console_file_magic) internal_error ("mi_console_file_delete: bad magic number"); - free (mi_console); + xfree (mi_console); } static void |