diff options
| author | Björn-Egil Dahlberg <[email protected]> | 2015-05-06 19:29:34 +0200 |
|---|---|---|
| committer | Björn-Egil Dahlberg <[email protected]> | 2015-05-07 10:17:21 +0200 |
| commit | dc177967363d16c155042dbaa2c911f59f0efd55 (patch) | |
| tree | 05643e592657ff127893191596aeeaae4ebff860 /configure.in | |
| parent | f436d84d990bb06e6bbbf55659d4f3a47bc1c556 (diff) | |
| download | otp-dc177967363d16c155042dbaa2c911f59f0efd55.tar.gz otp-dc177967363d16c155042dbaa2c911f59f0efd55.tar.bz2 otp-dc177967363d16c155042dbaa2c911f59f0efd55.zip | |
erts: ETS ordered_set cannot use it's optimization with Maps
The optimization cannot be used due to that the pattern cannot be ordered.
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions