diff options
| author | Jasper Hugunin | 2020-09-12 17:09:44 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2020-09-16 12:46:57 -0700 |
| commit | 0f6f3eedb65c3b061b4d4443c18e57ad38bb1f41 (patch) | |
| tree | 2791aed48e6da10eeb88f692cd4a35ebe93bb8d5 /doc/plugin_tutorial/tuto1/src | |
| parent | 52388892ae3bb7d071932947590ec9b09e12f7ce (diff) | |
Modify Arith/Peano_dec.v to compile with -mangle-names
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src')
0 files changed, 0 insertions, 0 deletions