mbed library sources. Supersedes mbed-src. Fixed broken STM32F1xx RTC on rtc_api.c

Dependents:   Nucleo_F103RB_RTC_battery_bkup_pwr_off_okay

Fork of mbed-dev by mbed official

Revision:
160:d5399cc887bb
Parent:
151:5eaa88a5bcc7
Child:
163:74e0ce7f98e8
--- a/targets/TARGET_NORDIC/TARGET_NRF5/us_ticker.c	Tue Feb 28 17:13:35 2017 +0000
+++ b/targets/TARGET_NORDIC/TARGET_NRF5/us_ticker.c	Tue Mar 14 16:40:56 2017 +0000
@@ -233,7 +233,7 @@
 // alternative source of RTOS ticks.
 #if defined(TARGET_MCU_NRF51822)
 
-#include "toolchain.h"
+#include "mbed_toolchain.h"
 
 
 #define MAX_RTC_COUNTER_VAL     ((1uL << RTC_COUNTER_BITS) - 1)