diff options
| author | coqbot-app[bot] | 2021-03-23 20:38:58 +0000 |
|---|---|---|
| committer | GitHub | 2021-03-23 20:38:58 +0000 |
| commit | 285d5e03a230af7b327cba0b7720217ede664761 (patch) | |
| tree | d8f3bcac6bce50f5235e5416c7504b1b722a7848 /dev/header.ml | |
| parent | d3f78cad1532f000106ed0c0b8be2ac384ce1d3a (diff) | |
| parent | 01b061f0082a70f66016e78075a5952af8ed5431 (diff) | |
Merge PR #13978: Do not match on record types with mutable fields in function arguments.
Reviewed-by: gares
Diffstat (limited to 'dev/header.ml')
0 files changed, 0 insertions, 0 deletions