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 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | ebd1c087298a50f85d3f227452b8a3d1fb7a625c (diff) | |
unsafe_type_of -> type_of in Sequent.extend_with_auto_hints
+ fix evar leak in caller
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions