Forked.

Fork of mbed-dev by mbed official

Revision:
160:d5399cc887bb
Parent:
149:156823d33999
Child:
162:e13f6fdb2ac4
diff -r 612c381a210f -r d5399cc887bb hal/mbed_ticker_api.c
--- a/hal/mbed_ticker_api.c	Tue Feb 28 17:13:35 2017 +0000
+++ b/hal/mbed_ticker_api.c	Tue Mar 14 16:40:56 2017 +0000
@@ -15,7 +15,7 @@
  */
 #include <stddef.h>
 #include "hal/ticker_api.h"
-#include "platform/critical.h"
+#include "platform/mbed_critical.h"
 
 void ticker_set_handler(const ticker_data_t *const data, ticker_event_handler handler) {
     data->interface->init();