diff options
| author | Björn Gustavsson <[email protected]> | 2016-11-12 09:28:28 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-11-13 08:10:12 +0100 |
| commit | cb4b1276acae0406344a24d4597c0d33a1d72ac7 (patch) | |
| tree | 26e7586b28d39dddc18822a917a0407a07af2821 /make/save_args | |
| parent | 29a7ce7dd5d75658d3044b42b7ab6d57b706f663 (diff) | |
| download | otp-cb4b1276acae0406344a24d4597c0d33a1d72ac7.tar.gz otp-cb4b1276acae0406344a24d4597c0d33a1d72ac7.tar.bz2 otp-cb4b1276acae0406344a24d4597c0d33a1d72ac7.zip | |
sys_core_fold: Remove unnecessary calls to opt_bool_case/1
The fixpoint iteration added in 05130e48 makes those calls
superfluous.
Diffstat (limited to 'make/save_args')
0 files changed, 0 insertions, 0 deletions