diff options
| author | Björn Gustavsson <[email protected]> | 2019-01-30 06:25:41 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2019-02-01 12:44:32 +0100 |
| commit | 7306c730fa3ce28ec47c31ab307e0d3d0105677a (patch) | |
| tree | 5f35344a20cc22b31ca5421b66e98f533f95f6e1 /lib/mnesia | |
| parent | c86c4dd18da287e439770c47fa384d438c134f12 (diff) | |
| download | otp-7306c730fa3ce28ec47c31ab307e0d3d0105677a.tar.gz otp-7306c730fa3ce28ec47c31ab307e0d3d0105677a.tar.bz2 otp-7306c730fa3ce28ec47c31ab307e0d3d0105677a.zip | |
Use gb_sets:delete/2 instead of gb_sets:delete_any/2
Save a little time by using gb_sets:delete/2 instead of
gb_sets:delete_any/2 when the key is known to be in the set.
Diffstat (limited to 'lib/mnesia')
0 files changed, 0 insertions, 0 deletions