diff options
| author | Jasper Hugunin | 2020-09-12 17:59:35 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2020-09-16 12:46:57 -0700 |
| commit | aa9f22f930a2207d5ff8e9ab88ddb08288245eee (patch) | |
| tree | d0f0070ef689b3472281840edcd103bcc7a8da64 /doc/plugin_tutorial/tuto1/src/simple_check.ml | |
| parent | b7697c92cc1302c4860e4a4210e3699cabe3ca1b (diff) | |
Modify PArith/Pnat.v to compile with -mangle-names
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_check.ml')
0 files changed, 0 insertions, 0 deletions