diff options
| author | Gaëtan Gilbert | 2020-02-06 17:32:16 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-06 21:17:56 +0100 |
| commit | 702b4e1cc3e93f26a5215e6018bd744ec25fdb55 (patch) | |
| tree | fa349d4a0aa7c1c199bbfe2ff428437d0e1f40f5 /plugins | |
| parent | b6f372dd4eba2a63791aae899fbae7b8aa3aa499 (diff) | |
unsafe_type_of -> get_type_of in Auto_ind_decl.do_replace_bl
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions