mbed library sources

Fork of mbed-src by mbed official

Revision:
250:a49055e7a707
Parent:
227:7bd0639b8911
Child:
251:de9a1e4ffd79
--- a/targets/hal/TARGET_STM/TARGET_STM32F3XX/pinmap.c	Wed Jul 02 13:45:08 2014 +0100
+++ b/targets/hal/TARGET_STM/TARGET_STM32F3XX/pinmap.c	Tue Jul 08 11:15:08 2014 +0100
@@ -30,7 +30,7 @@
 #include "mbed_assert.h"
 #include "pinmap.h"
 #include "PortNames.h"
-#include "error.h"
+#include "mbed_error.h"
 
 // Enable GPIO clock and return GPIO base address
 uint32_t Set_GPIO_Clock(uint32_t port_idx) {