diff options
Diffstat (limited to 'gas/input-file.c')
| -rw-r--r-- | gas/input-file.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gas/input-file.c b/gas/input-file.c index a8fc9e5f21..2c07f4cabc 100644 --- a/gas/input-file.c +++ b/gas/input-file.c @@ -80,12 +80,6 @@ input_file_buffer_size (void) return (BUFFER_SIZE); } -int -input_file_is_open (void) -{ - return f_in != (FILE *) 0; -} - /* Push the state of our input, returning a pointer to saved info that can be restored with input_file_pop (). */ |