diff options
| author | Jasper Hugunin | 2020-09-12 18:01:56 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2020-09-16 12:46:57 -0700 |
| commit | 9daa2ec464eb9b881cab7d53fd39efc5de3afe12 (patch) | |
| tree | 92c08a69abe93a13b4f1d3c55f770fe1bb9f1731 /kernel/vmlambda.ml | |
| parent | aa9f22f930a2207d5ff8e9ab88ddb08288245eee (diff) | |
Modify NArith/Nnat.v to compile with -mangle-names
Diffstat (limited to 'kernel/vmlambda.ml')
0 files changed, 0 insertions, 0 deletions