1 files changed, 3 insertions, 1 deletions
diff --git a/gdb/defs.h b/gdb/defs.h
index ed51396..b81de46 100644
--- a/gdb/defs.h
+++ b/gdb/defs.h
@@ -324,7 +324,9 @@ extern char *command_line_input (const char *, int, char *);
 
 extern void print_prompt (void);
 
-extern int input_from_terminal_p (void);
+struct ui;
+
+extern int input_interactive_p (struct ui *);
 
 extern int info_verbose;