diff options
Diffstat (limited to 'gas/symbols.c')
-rw-r--r-- | gas/symbols.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/gas/symbols.c b/gas/symbols.c index 04e239a..3ea11ab 100644 --- a/gas/symbols.c +++ b/gas/symbols.c @@ -2370,16 +2370,6 @@ int indent_level; Available for modification inside a gdb session. */ int max_indent_level = 8; -#if 0 - -static void -indent (void) -{ - printf ("%*s", indent_level * 4, ""); -} - -#endif - void print_symbol_value_1 (FILE *file, symbolS *sym) { |