diff options
| author | Matthieu Sozeau | 2014-06-15 13:29:23 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-06-15 13:29:23 +0200 |
| commit | e04ce4144522b71c0d6bf3df868b2f3586eb5d5f (patch) | |
| tree | de9388379d7de682c3d40984f2431022b74842d9 /kernel/nativelib.ml | |
| parent | 0a51137f7ff80afdcf216d85cd8be25a531bc39b (diff) | |
Remove HoTT bug #33, as the stdlib won't become polymorphic in the next version.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions