mbed library sources

Dependents:   frdm_kl05z_gpio_test

Fork of mbed-src by mbed official

Revision:
241:ffe41b0c8126
Parent:
227:7bd0639b8911
Child:
250:a49055e7a707
--- a/targets/hal/TARGET_STM/TARGET_DISCO_F303VC/pinmap.c	Thu Jun 26 09:45:08 2014 +0100
+++ b/targets/hal/TARGET_STM/TARGET_DISCO_F303VC/pinmap.c	Thu Jun 26 10:30:09 2014 +0100
@@ -28,8 +28,8 @@
  *******************************************************************************
  */
 #include "mbed_assert.h"
-#include "device.h"
 #include "pinmap.h"
+#include "PortNames.h"
 #include "error.h"
 
 // Enable GPIO clock and return GPIO base address