diff options
| author | Maxime Dénès | 2015-11-18 15:58:17 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2015-11-18 15:59:04 +0100 |
| commit | 6f88442be8275361a7b68fd56d40976fdee9f4d5 (patch) | |
| tree | 83eb1fd96609442895ecb021152cd996a746b4d1 /kernel/nativelambda.mli | |
| parent | 23e6963a8168756f225ea2ae75fcf2af6952c6c3 (diff) | |
Improve error message.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions