diff --git a/miosix/kernel/pthread.cpp b/miosix/kernel/pthread.cpp
index ed8382501538c941e031d80859d9c8370f6f56da..c66abe9dc650c0aa7126549c5a84a46e547c684b 100644
--- a/miosix/kernel/pthread.cpp
+++ b/miosix/kernel/pthread.cpp
@@ -40,11 +40,6 @@
 
 using namespace miosix;
 
-namespace miosix {
-void IRQaddToSleepingList(SleepData *x);
-void IRQremoveFromSleepingList(SleepData *x);
-} //namespace miosix
-
 //
 // Newlib's pthread.h has been patched since Miosix 1.68 to contain a definition
 // for pthread_mutex_t and pthread_cond_t that allows a fast implementation