Index: gdb/mi/mi-console.h |
diff --git a/gdb/mi/mi-console.h b/gdb/mi/mi-console.h |
index 9727eb6c79789e0002d4aa60910821d1bf942379..7e9009fb498059e346ca3b0703f752bb648ee8b0 100644 |
--- a/gdb/mi/mi-console.h |
+++ b/gdb/mi/mi-console.h |
@@ -24,4 +24,7 @@ extern struct ui_file *mi_console_file_new (struct ui_file *raw, |
const char *prefix, |
char quote); |
+extern void mi_console_set_raw (struct ui_file *console, |
+ struct ui_file *raw); |
+ |
#endif |