diff --git a/libraries/AP_HAL_F4Light/Util.h b/libraries/AP_HAL_F4Light/Util.h
index c94498553d..8ec5218c03 100644
--- a/libraries/AP_HAL_F4Light/Util.h
+++ b/libraries/AP_HAL_F4Light/Util.h
@@ -25,17 +25,6 @@ public:
     }
     
     inline bool get_soft_armed() { return soft_armed; }
-    
-    uint64_t get_system_clock_ms() const {
-        int32_t offs=  hal_param_helper->_time_offset * 3600 * 1000; // in ms
-        
-        return AP_HAL::millis() + (gps_shift+500)/1000 + offs;
-    }
-
-    void set_system_clock(uint64_t time_utc_usec){
-        gps_shift = time_utc_usec - Scheduler::_micros64();
-    }
-
 
     uint32_t available_memory(void) override
     {