diff options
| author | Matthieu Sozeau | 2018-03-08 07:20:32 -0300 |
|---|---|---|
| committer | Matthieu Sozeau | 2018-03-08 07:40:27 -0300 |
| commit | d3f88e4e3aaf346f88801737c9145fe114f4942b (patch) | |
| tree | 4ba9dcda1eb5818e204712aa0169e967a59cc1cf /plugins/syntax/string_syntax.ml | |
| parent | fd2e9fd5f859f729765706f1f56df0fa080c0513 (diff) | |
Update checker to reflect rule on constructors of polymorphic inductive types
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions