4545
Fork of mbed-dev by
Diff: drivers/InterruptManager.cpp
- Revision:
- 160:d5399cc887bb
- Parent:
- 149:156823d33999
--- a/drivers/InterruptManager.cpp Tue Feb 28 17:13:35 2017 +0000 +++ b/drivers/InterruptManager.cpp Tue Mar 14 16:40:56 2017 +0000 @@ -17,7 +17,7 @@ #if defined(NVIC_NUM_VECTORS) #include "drivers/InterruptManager.h" -#include "platform/critical.h" +#include "platform/mbed_critical.h" #include <string.h> #define CHAIN_INITIAL_SIZE 4