diff options
| author | Jasper Hugunin | 2020-09-09 10:31:12 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2020-09-16 12:46:57 -0700 |
| commit | fd20085f6d073338b8c547f810f70baa9e414b28 (patch) | |
| tree | 602a8b6b6dac566b4eda3854826c96f439ad6e08 /doc/plugin_tutorial/tuto1 | |
| parent | f8449f4efcc6cee1555cadf09a8828cf176556ac (diff) | |
Modify Numbers/Natural/Abstract/NSub.v to compile with -mangle-names
Diffstat (limited to 'doc/plugin_tutorial/tuto1')
0 files changed, 0 insertions, 0 deletions