diff --git a/repos/base/src/lib/cxx/new_delete.cc b/repos/base/src/lib/cxx/new_delete.cc index 65c2c98c81..65773fa5ff 100644 --- a/repos/base/src/lib/cxx/new_delete.cc +++ b/repos/base/src/lib/cxx/new_delete.cc @@ -67,7 +67,7 @@ void operator delete (void *ptr, Deallocator &dealloc) { try_dealloc(ptr, deall * implementation of the 'stdcxx' library instead. To make this possible, the * 'delete (void *)' implementation in the 'cxx' library must be 'weak'. */ -__attribute__((weak)) void operator delete (void *) +__attribute__((weak)) void operator delete (void *) noexcept { Genode::error("cxx: operator delete (void *) called - not implemented. " "A working implementation is available in the 'stdcxx' library.");