diff options
| author | Jasper Hugunin | 2020-08-25 13:44:51 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2020-08-25 13:53:34 -0700 |
| commit | 3692f244fee5871b00557cb16ce85b40d413c3ec (patch) | |
| tree | 5933d0f87476efc7dc079a3f1249ce68a38ade26 /kernel/nativelambda.mli | |
| parent | 90d2c6c24bbe23f8b09ae3aa649264ef705fe4de (diff) | |
Modify Numbers/NatInt/NZDiv.v to compile with -mangle-names
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions