diff --git a/libraries/AP_HAL_SITL/GPIO.cpp b/libraries/AP_HAL_SITL/GPIO.cpp
index 506e21d70c..7062788f6a 100644
--- a/libraries/AP_HAL_SITL/GPIO.cpp
+++ b/libraries/AP_HAL_SITL/GPIO.cpp
@@ -52,14 +52,6 @@ AP_HAL::DigitalSource* GPIO::channel(uint16_t n) {
 
 }
 
-/* Interrupt interface: */
-bool GPIO::attach_interrupt(uint8_t interrupt_num,
-                            irq_handler_fn_t fn,
-                            INTERRUPT_TRIGGER_TYPE mode)
-{
-    return true;
-}
-
 bool GPIO::usb_connected(void)
 {
     return false;
diff --git a/libraries/AP_HAL_SITL/GPIO.h b/libraries/AP_HAL_SITL/GPIO.h
index 14c074215a..289835d4e1 100644
--- a/libraries/AP_HAL_SITL/GPIO.h
+++ b/libraries/AP_HAL_SITL/GPIO.h
@@ -14,11 +14,6 @@ public:
     /* Alternative interface: */
     AP_HAL::DigitalSource* channel(uint16_t n);
 
-    /* Interrupt interface: */
-    bool attach_interrupt(uint8_t interrupt_num,
-                          irq_handler_fn_t fn,
-                          INTERRUPT_TRIGGER_TYPE mode) override;
-
     /* return true if USB cable is connected */
     bool usb_connected(void);