IOTON Technology / mbed-ton

mbed library sources for TON Board V1.2

Fork of mbed-dev by mbed official

Diff: drivers/Timer.cpp

Revision:
160:d5399cc887bb
Parent:
149:156823d33999
Child:
167:e84263d55307
--- a/drivers/Timer.cpp	Tue Feb 28 17:13:35 2017 +0000
+++ b/drivers/Timer.cpp	Tue Mar 14 16:40:56 2017 +0000
@@ -16,7 +16,7 @@
 #include "drivers/Timer.h"
 #include "hal/ticker_api.h"
 #include "hal/us_ticker_api.h"
-#include "platform/critical.h"
+#include "platform/mbed_critical.h"
 
 namespace mbed {