| 1072 | } |
| 1073 | |
| 1074 | void swap_allocator(vector_downward &other) { |
| 1075 | using std::swap; |
| 1076 | swap(allocator_, other.allocator_); |
| 1077 | swap(own_allocator_, other.own_allocator_); |
| 1078 | } |
| 1079 | |
| 1080 | private: |
| 1081 | // You shouldn't really be copying instances of this class. |