Fix error message in read_symbol_table
1 file changed