#ifndef _INCLUDE__STDCXX_GENODE__BITS__CXXALLOCATOR_H_
#define _INCLUDE__STDCXX_GENODE__BITS__CXXALLOCATOR_H_

#include <ext/new_allocator.h>
#define __glibcxx_base_allocator  __gnu_cxx::new_allocator

#endif /* _INCLUDE__STDCXX_GENODE__BITS__CXXALLOCATOR_H_ */