diff options
| author | Pierre-Marie Pédrot | 2019-11-01 14:40:43 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-11-01 14:40:43 +0100 |
| commit | ef3a68200b3dad67f31aeb741479d2adc8ebf0d9 (patch) | |
| tree | 8f12b57599490a7d7074fb825e25054b60fa9aae /kernel/nativelambda.ml | |
| parent | e8ac44de70bc98d5393d7be655fd8ddc2eee5310 (diff) | |
| parent | dc9c1ba86b43132691ad34bf35771b13c25696fa (diff) | |
Merge PR #11019: enforcing Ltac2 constructor name are uppercased
Reviewed-by: ppedrot
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions