diff options
| author | Gaëtan Gilbert | 2020-02-06 17:52:29 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-06 21:17:56 +0100 |
| commit | af788fd0daeed459b98ed9acd3a0443f53666176 (patch) | |
| tree | 678a716ad9776d4acb93c5773d1bedb389949b83 /plugins/syntax/string_notation.mli | |
| parent | ebd1c087298a50f85d3f227452b8a3d1fb7a625c (diff) | |
unsafe_type_of -> type_of in Sequent.extend_with_auto_hints
+ fix evar leak in caller
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions