diff options
| author | Gaëtan Gilbert | 2020-02-06 16:39:06 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-06 21:17:56 +0100 |
| commit | 63883d37318fa54101b3ec4029cb26f0ae8439a3 (patch) | |
| tree | f6780a0d7030eb6585c0defbfa342f4dd80e2490 /plugins/syntax/float_syntax_plugin.mlpack | |
| parent | 42c28946cded7e81ade816416fc1538341fd4da8 (diff) | |
unsafe_type_of -> get_type_of in Elim.induction_trailer
Diffstat (limited to 'plugins/syntax/float_syntax_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions