Merge pull request #9063 from naveenkaje/fix_fault_handler_warning

mbed_fault_handler: fix build warning
pull/9109/head
Cruz Monrreal 2018-12-12 17:01:13 -06:00 committed by GitHub
commit d8be78b84b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -18,6 +18,7 @@
#define __STDC_FORMAT_MACROS
#endif
#include <inttypes.h>
#include <string.h>
#include "device.h"
#include "mbed_error.h"