diff options
| author | Vincent Laporte | 2018-10-05 12:50:12 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-10-09 11:17:30 +0000 |
| commit | 94947127d17b33de3109db3b1f3d7944493bd6c3 (patch) | |
| tree | 61a284a1fbd648aac72421742f52b87e61f7a83d /kernel/cbytecodes.ml | |
| parent | 5febd46805ea65cbcbb7c0690e20144bb4a1c234 (diff) | |
[coqchk] Fix subterm relation for primitive projections
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions