diff options
| author | Gaëtan Gilbert | 2020-05-18 10:47:35 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-05-18 11:25:02 +0200 |
| commit | 465e9d7b3b8c411c772f93434d0785adea4d15dc (patch) | |
| tree | bc0acba8c0a7d9bd84a7c02e1b8007a5fbaf64d8 /kernel/nativelambda.mli | |
| parent | 864a1aa9c02ec9863fb9fac6985083bae205c6fa (diff) | |
Cleanup: remove noisy "uctx_" prefixes in ustate.ml
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions