diff options
| author | Vincent Laporte | 2018-10-09 11:30:54 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-10-09 11:30:54 +0000 |
| commit | 1577a12cab63cdccf5b37253072192ecec5a752c (patch) | |
| tree | d76e8a7b3388ed3314154d651ef3980fd4a30a6e /plugins/syntax/plugin_base.dune | |
| parent | 3537f1c43098e35636d3982466172ab66720b035 (diff) | |
[coqchk] Fix checking of records in module signatures
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions