forked

Revision:
160:d5399cc887bb
Parent:
149:156823d33999
Child:
162:e13f6fdb2ac4
--- a/platform/mbed_semihost_api.c	Tue Feb 28 17:13:35 2017 +0000
+++ b/platform/mbed_semihost_api.c	Tue Mar 14 16:40:56 2017 +0000
@@ -14,7 +14,7 @@
  * limitations under the License.
  */
 #include "cmsis.h"
-#include "platform/semihost_api.h"
+#include "platform/mbed_semihost_api.h"
 
 #include <stdint.h>
 #include <string.h>