#include "defs.h"
#include "inferior.h"
-#include "wait.h"
+#include "gdb_wait.h"
#include "value.h"
#include <ctype.h>
#include <fcntl.h>
/* You may need to do an init_target_mm() */
/* init_target_mm(?,?,?,?,?,?,?,?); */
immediate_quit--;
- /* symbol_file_add (arg_string, from_tty, text_addr, 0, 0, 0, 0); */
+ /* symbol_file_add (arg_string, from_tty, text_addr, 0, 0); */
#endif
}