diff options
| author | Björn Gustavsson <[email protected]> | 2016-10-28 10:20:11 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-10-28 10:20:11 +0200 |
| commit | 07bce649026307c15a05e03c39dc5c1601d28603 (patch) | |
| tree | 6bd9dfe139d94380bbeb2e6ad8034b3e3d7bd641 /lib/tools/src | |
| parent | 97ee6664899949c5c40dfefa9d8b516ac639fb3c (diff) | |
| parent | 456ba65161d9228a2562d32bd25b0a15c90011b8 (diff) | |
| download | otp-07bce649026307c15a05e03c39dc5c1601d28603.tar.gz otp-07bce649026307c15a05e03c39dc5c1601d28603.tar.bz2 otp-07bce649026307c15a05e03c39dc5c1601d28603.zip | |
Merge branch 'bjorn/compiler/misc'
* bjorn/compiler/misc:
sys_core_fold: Use less effort optimizing not in lets
sys_core_fold: Eliminate complaint from core_lint
Diffstat (limited to 'lib/tools/src')
0 files changed, 0 insertions, 0 deletions