diff --git a/repos/base-nova/src/core/include/util.h b/repos/base-nova/src/core/include/util.h
index ea083b2696..0ea99a3523 100644
--- a/repos/base-nova/src/core/include/util.h
+++ b/repos/base-nova/src/core/include/util.h
@@ -40,17 +40,6 @@ namespace Genode {
 		return size_log2 > MAX_MAP_LOG2 ? MAX_MAP_LOG2 : size_log2;
 	}
 
-
-	inline void backtrace()
-	{
-		using namespace Genode;
-		log("\nbacktrace");
-		log(" ", __builtin_return_address(0));
-		log(" ", __builtin_return_address(1));
-		log(" ", __builtin_return_address(2));
-		log(" ", __builtin_return_address(3));
-		log(" ", __builtin_return_address(4));
-	}
 }
 
 #endif /* _CORE__INCLUDE__UTIL_H_ */