diff options
| author | Gaëtan Gilbert | 2020-02-06 16:03:14 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-06 21:17:56 +0100 |
| commit | eb9fb89e9170e3fcab668c638351faa037b92756 (patch) | |
| tree | ea82fcaccc196987d27158abd442059c580ded6b /plugins/syntax/plugin_base.dune | |
| parent | 6f72abed5c2342491830590c66f00f0a68be81d9 (diff) | |
unsafe_type_of -> type_of in Tactics.prove_transitivity
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions