diff options
| author | Hans Bolinder <[email protected]> | 2011-10-10 15:44:34 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2011-10-10 15:44:34 +0200 |
| commit | 30c169c79a4602d6f63cc0d6f5ba171cca8c1863 (patch) | |
| tree | ef0ee464edf4d005de577ced2cad1ead5272e35a /lib/stdlib/src/gb_sets.erl | |
| parent | a5abe96590ec22779f796fc67e5afbbf99a3a922 (diff) | |
| download | otp-30c169c79a4602d6f63cc0d6f5ba171cca8c1863.tar.gz otp-30c169c79a4602d6f63cc0d6f5ba171cca8c1863.tar.bz2 otp-30c169c79a4602d6f63cc0d6f5ba171cca8c1863.zip | |
Fix a minor bug in Dets
If a Dets table had been properly closed but the space management data
could not been read, it was not possible to repair the file.
Diffstat (limited to 'lib/stdlib/src/gb_sets.erl')
0 files changed, 0 insertions, 0 deletions