diff --git a/cores/arduino/WInterrupts.c b/cores/arduino/WInterrupts.c
index 220e0bfde9c64c05da5deff6cc4074a820973659..c130dacf726ad70fef1ccc0404358425a6e2eeb4 100644
--- a/cores/arduino/WInterrupts.c
+++ b/cores/arduino/WInterrupts.c
@@ -174,9 +174,6 @@ void detachInterrupt(uint32_t pin)
       ISRlist[i] = ISRlist[i+1];
       ISRcallback[i] = ISRcallback[i+1];
   }
-  // And remove the top item
-  ISRlist[nints]=0;
-  ISRcallback[nints]=NULL;
   nints--;
 }