diff options
| author | Hugo Herbelin | 2015-11-07 22:37:13 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-11-07 22:37:17 +0100 |
| commit | a593bb93b3047986bf9ac335ab21530621962885 (patch) | |
| tree | 2e1dfae40e2b8919aefaa50b9e97ea3fb7f3a05a /kernel | |
| parent | 479d4cd6e9934a47debf6201fccf7ebb1aea1b09 (diff) | |
Preventing an unwanted warning 5 "this function application is partial"
which e.g. OCaml 4.02.1 displays.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions