diff options
author | Björn Gustavsson <[email protected]> | 2016-09-13 06:55:39 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2016-09-26 16:20:39 +0200 |
commit | ac3bbbe932f2e547d93ebdc7c3bf4c0e542f30bd (patch) | |
tree | 6c396ff389dfb63bbd82891aa7454e63ec00b04b /lib/configure.in.src | |
parent | 3d9bbd259a7f8e29becf65476bf3bd8a32ad374e (diff) | |
download | otp-ac3bbbe932f2e547d93ebdc7c3bf4c0e542f30bd.tar.gz otp-ac3bbbe932f2e547d93ebdc7c3bf4c0e542f30bd.tar.bz2 otp-ac3bbbe932f2e547d93ebdc7c3bf4c0e542f30bd.zip |
sys_core_fold: Correct scope verification code
703e8f4490bf broke the scope verification code (by calling
ordsets:is_subset/2 with an unsorted second argument).
While we are it, also optimize the verification function
by avoiding converting the map to a sorted list.
Diffstat (limited to 'lib/configure.in.src')
0 files changed, 0 insertions, 0 deletions