diff options
| author | Jasper Hugunin | 2020-12-15 20:27:13 -0800 |
|---|---|---|
| committer | Jasper Hugunin | 2020-12-15 20:27:13 -0800 |
| commit | 84da55bda44aa9e4891cfe1226bc18183df23bcf (patch) | |
| tree | 8fa82798bb8df367e1d624b9b19af6399a69eb4c /kernel/nativecode.ml | |
| parent | 607682395b25dc73ae7537d5d996670037a18cc2 (diff) | |
Modify ZArith/Zpower.v to compile with -mangle-names
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions