diff options
| author | Pierre-Marie Pédrot | 2019-03-01 18:29:47 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-03-01 18:29:47 +0100 |
| commit | ae998e3049cd581d21c4fe0e8e18466ed9131546 (patch) | |
| tree | 02ba1b63c41c787c833c383629a7277fd1fde36e /kernel/type_errors.ml | |
| parent | f37c4445228f5aba5137f397755ebc8cb8c0c482 (diff) | |
| parent | 196de2c3a8033561861c345248dd05adcad95d3d (diff) | |
Merge PR #9626: [lib] Add `Map.update` from OCaml 4.06
Reviewed-by: SkySkimmer
Ack-by: ejgallego
Reviewed-by: ppedrot
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions