diff options
| author | Jasper Hugunin | 2020-12-15 18:17:58 -0800 |
|---|---|---|
| committer | Jasper Hugunin | 2020-12-15 18:17:58 -0800 |
| commit | 96ad23e59418798fc5960940291ab5ea8b6330b4 (patch) | |
| tree | 12676e343797126efa61817a8482691d0174dce9 /kernel/vmlambda.mli | |
| parent | 063aa71ee8ab179699254c4e74855e7ab1f94086 (diff) | |
Modify setoid_ring/Field_theory.v to compile with -mangle-names
Diffstat (limited to 'kernel/vmlambda.mli')
0 files changed, 0 insertions, 0 deletions