diff options
| author | Gaëtan Gilbert | 2018-12-19 12:43:23 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-12-19 12:43:23 +0100 |
| commit | d3d142f406239b6e528d27454d1b3f4e3d6fd4ea (patch) | |
| tree | 698fa2735529982d7a10ccaf711b554d0262d0db /kernel | |
| parent | 2cad4dec40cef2aecb19c5a0e5a1368392be8d88 (diff) | |
coqchk: fix check for kelim with functors
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions