Gordon Craig
Forked.
Fork of
mbed-dev
by 
mbed official
Diff: drivers/InterruptIn.h
- Revision:
- 160:d5399cc887bb
- Parent:
- 149:156823d33999
- Child:
- 167:e84263d55307
--- 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 */