| 1147 | } |
| 1148 | |
| 1149 | void swap_allocator(vector_downward &other) { |
| 1150 | using std::swap; |
| 1151 | swap(allocator_, other.allocator_); |
| 1152 | swap(own_allocator_, other.own_allocator_); |
| 1153 | } |
| 1154 | |
| 1155 | private: |
| 1156 | // You shouldn't really be copying instances of this class. |