From 9952628e8e09510ab16f47e7262dff27533119c1 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sat, 28 Jan 2023 16:33:29 +0100
Subject: [PATCH] Kill unused function.

---
 include/xbt/signal.hpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/include/xbt/signal.hpp b/include/xbt/signal.hpp
index 42c043586f..8b6cf9164d 100644
--- a/include/xbt/signal.hpp
+++ b/include/xbt/signal.hpp
@@ -42,8 +42,6 @@ public:
   void disconnect(unsigned int id) { handlers_.erase(id); }
   /** Remove all callbacks */
   void disconnect_slots() { handlers_.clear(); }
-  /** Get the amount of callbacks */
-  int get_slot_count() { return handlers_.size(); }
 };
 }
 }
-- 
2.20.1