mirror of https://github.com/ARMmbed/mbed-os.git
Merge pull request #1920 from 0xc0170/fix_inclusion
Fix inclusion (board.c and critical.c)pull/1933/head
commit
ab5bd795a4
|
@ -15,7 +15,7 @@
|
|||
* limitations under the License.
|
||||
*/
|
||||
|
||||
|
||||
#define __STDC_LIMIT_MACROS
|
||||
#include <stdint.h>
|
||||
#include <stddef.h>
|
||||
#include "cmsis.h"
|
||||
|
|
|
@ -18,6 +18,7 @@
|
|||
#include "device.h"
|
||||
#include "toolchain.h"
|
||||
#include "mbed_error.h"
|
||||
#include "mbed_interface.h"
|
||||
#if DEVICE_STDIO_MESSAGES
|
||||
#include <stdio.h>
|
||||
#endif
|
||||
|
|
Loading…
Reference in New Issue