diff --git a/libraries/AP_HAL_Empty/Util.h b/libraries/AP_HAL_Empty/Util.h
index 3dae90c2f8..55e590a20e 100644
--- a/libraries/AP_HAL_Empty/Util.h
+++ b/libraries/AP_HAL_Empty/Util.h
@@ -4,6 +4,4 @@
 #include "AP_HAL_Empty_Namespace.h"
 
 class Empty::Util : public AP_HAL::Util {
-public:
-    bool run_debug_shell(AP_HAL::BetterStream *stream) override { return false; }
 };