diff options
| author | Emilio Jesus Gallego Arias | 2020-02-13 21:14:01 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-02-13 21:14:01 +0100 |
| commit | 83052eff43d3eeff96462286b69249ef868bf5f0 (patch) | |
| tree | bd2b80422e44573f89a79d518184e6b0b5405891 /plugins/extraction/ExtrOcamlNativeString.v | |
| parent | 9193769161e1f06b371eed99dfe9e90fec9a14a6 (diff) | |
[coqinit] Removed unused `with_ml` parameter.
`theories` now never have `.ml` files inside.
Diffstat (limited to 'plugins/extraction/ExtrOcamlNativeString.v')
0 files changed, 0 insertions, 0 deletions