diff options
| author | Gaëtan Gilbert | 2018-04-22 17:26:03 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-07-24 13:49:18 +0200 |
| commit | a30be8ca7d6b7c6f17aa65de824e02194a7f3a9b (patch) | |
| tree | 9b43febeca66aa4e8914ac90f9089f87f090da6c /kernel/cbytecodes.ml | |
| parent | 0108db19c96e1b46346f032964f2cca3f8149cb3 (diff) | |
Fix #7329: coqchk Include with primitive projections
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions