diff options
| author | Kenji Maillard | 2019-11-01 12:44:53 +0100 |
|---|---|---|
| committer | Kenji Maillard | 2019-11-01 12:44:53 +0100 |
| commit | 7fbe716d69abb9ad7d8097a28279bbf7852a7a48 (patch) | |
| tree | e9218233cf6467fd3e66ceaeb3522afc8887a59d /kernel/nativecode.ml | |
| parent | e29ffc8c2dac2f9ea96541e95f027e29c0810499 (diff) | |
enforcing Ltac2 cosntructors name are uppercase in open types
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions