AIOS User
2021-08-31 dd5a4aa12c5bd913be552b415a0268e9ef9ea9fd
src/queue/array_lock_free_queue.h
@@ -102,6 +102,7 @@
template<typename ELEM_T, typename Allocator>
ArrayLockFreeQueue<ELEM_T, Allocator>::~ArrayLockFreeQueue() {
  // std::cout << "destroy ArrayLockFreeQueue\n";
  Allocator::deallocate(m_theQueue);
}