diff options
| author | Jasper Hugunin | 2020-08-25 13:34:22 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2020-08-25 13:53:33 -0700 |
| commit | e950f496ba1f8e4662d513a15b4c96e5a3c7ab39 (patch) | |
| tree | 120d348622e832129650dfee2f63a2d7c52da299 /doc/plugin_tutorial/tuto2/src/custom.mli | |
| parent | ea5f72382a1290028e1c41ad1548546d2040529b (diff) | |
Modify Numbers/NatInt/NZParity.v to compile with -mangle-names
Diffstat (limited to 'doc/plugin_tutorial/tuto2/src/custom.mli')
0 files changed, 0 insertions, 0 deletions