diff options
| author | Pierre-Marie Pédrot | 2019-02-02 17:48:02 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-02-02 17:48:02 +0100 |
| commit | 8eeb5d6004a4d9bb8fbd776ac4c8273adb2887a6 (patch) | |
| tree | fe05667312ad548813e84334efaea68b9091f45e /kernel/nativecode.ml | |
| parent | 0d4b9df02c37c7107e9cdc085a8b7b2a6039b9bf (diff) | |
| parent | d3d142f406239b6e528d27454d1b3f4e3d6fd4ea (diff) | |
Merge PR #9250: coqchk: fix check for kelim with functors
Ack-by: mattam82
Reviewed-by: ppedrot
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions