Maxim Ibragimov / mbed-dev

mbed library sources. Supersedes mbed-src. Fixed broken STM32F1xx RTC on rtc_api.c

Dependents:   Nucleo_F103RB_RTC_battery_bkup_pwr_off_okay

Fork of mbed-dev by mbed official

Diff: drivers/InterruptIn.h

Revision:
160:d5399cc887bb
Parent:
149:156823d33999
Child:
167:e84263d55307
diff -r 612c381a210f -r d5399cc887bb drivers/InterruptIn.h
--- a/drivers/InterruptIn.h	Tue Feb 28 17:13:35 2017 +0000
+++ b/drivers/InterruptIn.h	Tue Mar 14 16:40:56 2017 +0000
@@ -23,8 +23,8 @@
 #include "hal/gpio_api.h"
 #include "hal/gpio_irq_api.h"
 #include "platform/Callback.h"
-#include "platform/critical.h"
-#include "platform/toolchain.h"
+#include "platform/mbed_critical.h"
+#include "platform/mbed_toolchain.h"
 
 namespace mbed {
 /** \addtogroup drivers */