diff options
| author | David Thompson <dthompson2@worcester.edu> | 2020-04-12 21:56:21 -0400 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2020-04-12 21:56:21 -0400 |
| commit | b15a8b5be99df32e86af8bfb6f5dbdaacceda776 (patch) | |
| tree | 797c7b54052f25b9bd6f2e6d28e73476b710d594 /pre-inst-env.in | |
| parent | f2721b20704a0e5a4960d490d0ba465feccdf192 (diff) | |
heap: Fix heap-remove!
It totally trashed the underlying vector before, now it behaves
properly.
Diffstat (limited to 'pre-inst-env.in')
0 files changed, 0 insertions, 0 deletions