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

hugueskamba · hugueskamba · commit d4497b7e3a42 · 2019-08-19T09:57:48.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"
