diff --git a/libraries/AP_HAL_PX4/Util.cpp b/libraries/AP_HAL_PX4/Util.cpp
index ea338bd1fe..91ec8bc466 100644
--- a/libraries/AP_HAL_PX4/Util.cpp
+++ b/libraries/AP_HAL_PX4/Util.cpp
@@ -96,14 +96,6 @@ enum PX4Util::safety_state PX4Util::safety_switch_state(void)
     return AP_HAL::Util::SAFETY_DISARMED;
 }
 
-void PX4Util::set_system_clock(uint64_t time_utc_usec)
-{
-    timespec ts;
-    ts.tv_sec = time_utc_usec/1000000ULL;
-    ts.tv_nsec = (time_utc_usec % 1000000ULL) * 1000ULL;
-    clock_settime(CLOCK_REALTIME, &ts);    
-}
-
 /*
   display PX4 system identifer - board type and serial number
  */
diff --git a/libraries/AP_HAL_PX4/Util.h b/libraries/AP_HAL_PX4/Util.h
index 1c36fd67ea..7c15d1fe38 100644
--- a/libraries/AP_HAL_PX4/Util.h
+++ b/libraries/AP_HAL_PX4/Util.h
@@ -34,11 +34,6 @@ public:
 
     enum safety_state safety_switch_state(void);
 
-    /*
-      set system clock in UTC microseconds
-     */
-    void set_system_clock(uint64_t time_utc_usec);
-
     /*
       get system identifier (STM32 serial number)
      */