mbed official
mbed library sources. Supersedes mbed-src.
Dependents: Nucleo_Hello_Encoder BLE_iBeaconScan AM1805_DEMO DISCO-F429ZI_ExportTemplate1 ... more
Diff: hal/mbed_ticker_api.c
- Revision:
- 160:d5399cc887bb
- Parent:
- 149:156823d33999
- Child:
- 162:e13f6fdb2ac4
--- 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();
