diff options
| author | Jasper Hugunin | 2020-10-09 16:03:25 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2020-10-11 19:05:14 -0700 |
| commit | aab1a1280caca5a2e6b10f230c504771028aee2b (patch) | |
| tree | 7027e5a871694c8659577bcec27408464decbd69 /doc/plugin_tutorial/tuto1/src/simple_check.mli | |
| parent | c35fe7d0526a5b8ab87cbf2ba444f5273c087a99 (diff) | |
Modify Vectors/Fin.v to compile with -mangle-names
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_check.mli')
0 files changed, 0 insertions, 0 deletions