diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2016-07-05 18:28:24 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2016-07-05 18:29:37 +0200 |
| commit | 57021d22fabb33b281af4de8f3946cb4424c6422 (patch) | |
| tree | 031746971a3bf3118b7473426791f32d5aa079a9 /kernel/safe_typing.ml | |
| parent | 37293bd104434bb15acc7d46b8cba90e70504aac (diff) | |
congruence fix: test-suite code and update CHANGES
This fixes bugs #4069 (not 4609 as mentionned in the git log) and #4718.
Diffstat (limited to 'kernel/safe_typing.ml')
0 files changed, 0 insertions, 0 deletions