base: remove deinit_heartbeat_monitoring function

Issue #4940
2025-06-21 00:23:16 +00:00 · 2023-06-29 14:35:13 +02:00
parent f9bb7246ef
commit fa3f5edcc2
3 changed files with 0 additions and 12 deletions
--- a/repos/base/src/core/heartbeat.cc
+++ b/repos/base/src/core/heartbeat.cc
@ -19,5 +19,4 @@


 void Genode::init_heartbeat_monitoring(Env &) { }
-void Genode::deinit_heartbeat_monitoring() { }