4545
Fork of mbed-dev by
Diff: drivers/DigitalIn.h
- Revision:
- 160:d5399cc887bb
- Parent:
- 149:156823d33999
diff -r 612c381a210f -r d5399cc887bb drivers/DigitalIn.h --- a/drivers/DigitalIn.h Tue Feb 28 17:13:35 2017 +0000 +++ b/drivers/DigitalIn.h Tue Mar 14 16:40:56 2017 +0000 @@ -19,7 +19,7 @@ #include "platform/platform.h" #include "hal/gpio_api.h" -#include "platform/critical.h" +#include "platform/mbed_critical.h" namespace mbed { /** \addtogroup drivers */