diff --git a/base/src/base/include/unmanaged_singleton.h b/base/src/base/include/unmanaged_singleton.h index 24836d226..754bf234b 100644 --- a/base/src/base/include/unmanaged_singleton.h +++ b/base/src/base/include/unmanaged_singleton.h @@ -51,7 +51,7 @@ inline void * operator new(Genode::size_t, void * p) { return p; } * * \return object pointer */ -template +template static inline T * unmanaged_singleton(ARGS... args) { /*