diff options
| author | Gaëtan Gilbert | 2020-02-06 20:13:09 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-06 21:17:56 +0100 |
| commit | 2e1c1bc858780a79b4196528500dda4117d4cfba (patch) | |
| tree | 89f8f494a97db035dee110c8a436bb93472b3e77 /plugins/extraction/ExtrHaskellString.v | |
| parent | bab30bf5d6aa2196508bf939dd8d1b0c82140ffb (diff) | |
unsafe_type_of -> get_type_of in Rewrite.decompose_app_rel
Diffstat (limited to 'plugins/extraction/ExtrHaskellString.v')
0 files changed, 0 insertions, 0 deletions