diff options
| author | Matthieu Sozeau | 2015-10-09 11:01:54 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-10-09 11:03:13 +0200 |
| commit | 864bcb82f84a8101fec9a8f7225a01083ebff8c4 (patch) | |
| tree | 0b7727f5fd51b8c839b5d4d056e084ba6cd9c609 /kernel | |
| parent | 41ac12062858d3b8b82b0ed736b3800d052f34b8 (diff) | |
Fix inference of return clause raising a type error.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions