Tom Tromey
52ec426b5e
Remove unnecessary cast
...
I found an upcast from template_symbol to symbol. This was necessary
long ago, but since symbols use inheritance now, it is not. This
patch removes it. Tested by rebuilding.
2023-03-22 13:22:24 -06:00
..
2023-03-01 20:54:56 -05:00
2023-03-07 11:30:20 -07:00
2023-02-24 11:46:53 -07:00
2023-03-18 11:12:38 -06:00
2023-03-18 11:12:37 -06:00
2023-02-15 15:07:07 -07:00
2023-02-13 15:22:20 -07:00
2023-02-24 11:46:53 -07:00
2023-02-24 11:46:53 -07:00
2023-02-24 11:46:53 -07:00
2023-02-24 11:46:53 -07:00
2023-03-01 15:33:03 -07:00
2023-03-01 15:33:03 -07:00
2023-02-24 11:46:53 -07:00
2023-02-15 15:12:06 -05:00
2023-02-15 15:12:06 -05:00
2023-02-15 15:12:01 -05:00
2023-02-15 15:12:01 -05:00
2023-03-22 13:22:24 -06:00
2023-03-09 16:32:00 -05:00
2023-03-01 20:54:56 -05:00