diff options
| author | Jasper Hugunin | 2020-12-15 20:24:50 -0800 |
|---|---|---|
| committer | Jasper Hugunin | 2020-12-15 20:24:50 -0800 |
| commit | 607682395b25dc73ae7537d5d996670037a18cc2 (patch) | |
| tree | a485b110f6cca7e008dd85cefdc67c0fe6b2e4ee /kernel/nativecode.ml | |
| parent | b987bced399decd3b4247e2b4bb716d36846ee68 (diff) | |
Modify micromega/ZMicromega.v to compile with -mangle-names
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions