diff options
| author | Jasper Hugunin | 2020-08-25 13:11:43 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2020-08-25 13:53:32 -0700 |
| commit | 1a7dfd1bfce28a0ff20ba4ce58440d99bca3fbb3 (patch) | |
| tree | 0cb7a9e4d0ad7ebdebccf8fe75d0b583152829f7 /kernel/vmvalues.ml | |
| parent | c16e4c23e6591aace243c5503ce70e99d3c0569d (diff) | |
Modify Numbers/NatInt/NZBase.v to compile with -mangle-names
Diffstat (limited to 'kernel/vmvalues.ml')
0 files changed, 0 insertions, 0 deletions