| commit | 9c808ba1a9ca9aa44a6bba2f1b9fe1e85b57de2d | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Fri Aug 04 13:57:55 2023 -0600 |
| committer | Tom Tromey <tromey@adacore.com> | Fri Aug 04 13:58:51 2023 -0600 |
| tree | fe81c92a207b1d10ba83d60453a8ba4846f28909 | |
| parent | 0ecf4403168bb53c6ce729b1f042610f82043d45 [diff] |
Reindent recursive_dump_type I noticed that a 'switch' in recursive_dump_type was incorrect indented. This patch fixes the problem. Tested by rebuilding.