diff --git a/dune/common/debugallocator.hh b/dune/common/debugallocator.hh
index db5c0a40b15922fcd50f9914105ca5226ff18766..16dcbf5d0b4952783da13cfdcb432c41897068cc 100644
--- a/dune/common/debugallocator.hh
+++ b/dune/common/debugallocator.hh
@@ -294,7 +294,7 @@ namespace Dune
 }
 
 #ifdef DEBUG_NEW_DELETE
-void * operator new(size_t size) throw(std::bad_alloc)
+void * operator new(size_t size)
 {
   // try to allocate size bytes
   void *p = Dune::DebugMemory::alloc_man.allocate<char>(size);