mirror of https://github.com/ARMmbed/mbed-os.git
deprecated include updated
critical.h is deprecated, replaced with "platform/mbed_critical.h" typo correctedpull/4169/head
parent
d6686f14e0
commit
b0451324c4
|
@ -16,9 +16,9 @@
|
|||
|
||||
#include "flash_api.h"
|
||||
#include "flash_data.h"
|
||||
#include "mbed_critical.h"
|
||||
#include "platform/mbed_critical.h"
|
||||
|
||||
// This file is automagically generated
|
||||
// This file is automatically generated
|
||||
|
||||
#if DEVICE_FLASH
|
||||
|
||||
|
|
Loading…
Reference in New Issue