diff options
| author | Maxime Dénès | 2014-03-13 16:09:39 -0400 |
|---|---|---|
| committer | Maxime Dénès | 2014-07-22 17:52:08 -0400 |
| commit | 7b22ae388286564c008e6cd618b3546a03060107 (patch) | |
| tree | e3dfdcdf4e472389a09c7276cc8513589878e6b6 /kernel/type_errors.ml | |
| parent | e0c70fc7cd8333a48a4bac47bcb0e01e4b737718 (diff) | |
A version of Fin.rect2 that is compatible with the fix of the guard condition.
Thanks to Arthur Azevedo de Amorim!
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions