diff options
Diffstat (limited to 'gas/input-file.h')
-rw-r--r-- | gas/input-file.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gas/input-file.h b/gas/input-file.h index 84577c7..8e5fbef 100644 --- a/gas/input-file.h +++ b/gas/input-file.h @@ -58,7 +58,6 @@ char *input_file_give_next_buffer (char *where); char *input_file_push (void); unsigned int input_file_buffer_size (void); -int input_file_is_open (void); void input_file_begin (void); void input_file_close (void); void input_file_end (void); |