diff options
| author | Jasper Hugunin | 2020-10-09 20:19:03 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2020-10-11 19:05:14 -0700 |
| commit | 2b69114de48693391de1240784d55d8d9b73cb1c (patch) | |
| tree | c3b326b34c6c92476ba3ce7b29df8227376db35b /kernel/nativelib.ml | |
| parent | c513ab654b2de5a80a5bc71b9a0769c46e5b55cd (diff) | |
Modify ZArith/Zpow_def.v to compile with -mangle-names
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions