diff options
| author | Michael Stahl <mstahl@redhat.com> | 2012-04-25 11:55:09 +0200 |
|---|---|---|
| committer | Michael Stahl <mstahl@redhat.com> | 2012-04-25 12:35:34 +0200 |
| commit | 96938bd075ae9a59557d49d7f9b957da69767567 (patch) | |
| tree | aa74fe4ec7d7d94f40f1ade6521d9de3d458557d /rhino | |
| parent | 2ebfe6fd314dd219183b611e27a48a12e3e5f223 (diff) | |
fix previous commit:
boost::ptr_vector::erase() will delete the element, but fortunately there
is a transfer() method that can be used here.
Diffstat (limited to 'rhino')
0 files changed, 0 insertions, 0 deletions