diff options
| author | Gaëtan Gilbert | 2020-02-06 17:43:23 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-06 21:17:56 +0100 |
| commit | ebd1c087298a50f85d3f227452b8a3d1fb7a625c (patch) | |
| tree | f5fc856b3b8963e27fdc782472bdcde5f2a6b1bb /plugins | |
| parent | 48b142d0e915e946274c14ab354f174cc5b6df51 (diff) | |
unsafe_type_of -> type_of in Logic.check_typability
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions