diff options
Diffstat (limited to 'gas/dw2gencfi.c')
| -rw-r--r-- | gas/dw2gencfi.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gas/dw2gencfi.c b/gas/dw2gencfi.c index ca7605e7928..14b73ef33c5 100644 --- a/gas/dw2gencfi.c +++ b/gas/dw2gencfi.c @@ -1245,8 +1245,8 @@ dot_cfi_sections (int ignored ATTRIBUTE_UNUSED) break; } - *input_line_pointer = c; - SKIP_WHITESPACE_AFTER_NAME (); + restore_line_pointer (c); + SKIP_WHITESPACE (); if (*input_line_pointer == ',') { name = input_line_pointer++; |