diff --git a/common/poolallocator.hh b/common/poolallocator.hh index 172c92ffacf3944d153528c776820bc83c0324a6..94f48e6b5d745f0818ab8fd419a26f31d210fed5 100644 --- a/common/poolallocator.hh +++ b/common/poolallocator.hh @@ -462,7 +462,7 @@ namespace Dune { if(allocated_!=0) - std::cerr<<"There are still "<<allocated_<<" allocated elements by the pool " + std::cerr<<"There are still "<<allocated_<<" allocated elements by the Pool<"<<typeid(T).name()<<","<<S<<"> " <<static_cast<void*>(this)<<"! This is a memory leak and might result in segfaults" <<std::endl;