diff options
| author | Reynald Affeldt | 2020-08-25 23:07:15 +0900 |
|---|---|---|
| committer | Reynald Affeldt | 2020-08-25 23:07:15 +0900 |
| commit | bfd384ed5f7af818f6b893b50d0f8de49477c144 (patch) | |
| tree | f0ede5b76e6bb4f5db5112c873af92cb93ca323b /kernel/nativelambda.ml | |
| parent | a334a9405ee1706747715616f6c5c244036f877a (diff) | |
fix notation-incompatible-format warnings
(mathcomp commit 1bbfe3429a07bee2478fd15adf45b982fdfb5d2b)
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions