diff --git a/libraries/AP_HAL_Linux/Util.h b/libraries/AP_HAL_Linux/Util.h
index 9aa0a82314..70faada85b 100644
--- a/libraries/AP_HAL_Linux/Util.h
+++ b/libraries/AP_HAL_Linux/Util.h
@@ -29,7 +29,6 @@ public:
     }
 
     void init(int argc, char *const *argv);
-    bool run_debug_shell(AP_HAL::BetterStream *stream) override { return false; }
 
     /**
        return commandline arguments, if available