Include mstd_utility to get in front of the ARMC5's built-in utility

hugueskamba · hugueskamba · commit 7ec84a89d12b · 2019-08-19T16:13:14.000+01:00
diff --git a/drivers/Ticker.h b/drivers/Ticker.h
@@ -17,6 +17,7 @@
 #ifndef MBED_TICKER_H
 #define MBED_TICKER_H
 
+#include <mstd_utility>
 #include "drivers/TimerEvent.h"
 #include "platform/Callback.h"
 #include "platform/mbed_toolchain.h"
