diff options
| author | Emilio Jesus Gallego Arias | 2020-03-30 14:59:02 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-30 19:05:38 -0400 |
| commit | b2b325a1d3c143f90a50a61cc9410efcd437d4b0 (patch) | |
| tree | b1339e5cd98fb217cea3afbeec8956069a16b2b3 /kernel | |
| parent | dfcc22eeb6e5404a42d28917a5540e1d894b5a71 (diff) | |
[typeclasses] Use label for `fail_evar` parameter.
This makes code a bit more clear.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions