diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-05-19 10:20:15 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-05-25 19:25:01 +0200 |
| commit | eec88ee07c28a18b1b5b4edfde8e898324264bce (patch) | |
| tree | 4698d0b9f80b1b6561c98e107d2aa92d23bc4665 /docs/users_guide/conf.py | |
| parent | 961ed26b69292f6bfb75cd2209ea0c67e77abf7b (diff) | |
| download | haskell-eec88ee07c28a18b1b5b4edfde8e898324264bce.tar.gz | |
RTS: simplify read_heap_profiling_flag
Since 535896e58f7fc8d89a5ff34629a3471eac529d93, "args" is not mutated
anymore, so we don't need to create a temporary copy.
Reviewed by: bgamari
Differential Revision: https://phabricator.haskell.org/D2264
Diffstat (limited to 'docs/users_guide/conf.py')
0 files changed, 0 insertions, 0 deletions