diff options
| author | Arnaud Spiwack | 2013-12-09 11:15:22 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2013-12-09 11:15:22 +0100 |
| commit | d3a6453f1447bfb956547050ddbd005f4b4751b6 (patch) | |
| tree | 3ad0d5fea8689212fe59451b367efdc6acb5a816 /kernel | |
| parent | 84c4f0e509dc6cde3a53dda3ba946077cc23ad95 (diff) | |
Stylistic change.
I doubt [catching_error] is performance critical in any way. But it looked silly to allocate a block to [(inner_trace,e)] when [e] was known in advance (and was already named [e]).
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions