diff options
| author | Jasper Hugunin | 2021-01-08 13:57:51 -0800 |
|---|---|---|
| committer | Jasper Hugunin | 2021-01-08 13:57:51 -0800 |
| commit | d68d5d35e529cf6f7a9ef0e7639c92dd9b58540c (patch) | |
| tree | 8e5ae366de54b8a1b3f56762b9cd618d45c0d2ed /plugins/syntax/string_notation.mli | |
| parent | d18df3740d23b868cbd120dd449d276cd748dd35 (diff) | |
Modify Lists/SetoidList.v to compile with -mangle-names
I used `match goal` a lot to access hypotheses without knowing their
name.
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions