Compilation fix for newer mbed-os

Fork of X_NUCLEO_IDB0XA1 by ST

Revision:
177:65d9b1b75fca
Parent:
144:bdf5e8432131
Child:
253:9665a6f8bbdb
--- a/source/platform/clock.c	Fri Nov 13 16:31:14 2015 +0100
+++ b/source/platform/clock.c	Wed Nov 18 15:48:31 2015 +0100
@@ -1,7 +1,7 @@
 
 #include "clock.h"
-#include "mbed-drivers/wait_api.h"
-#include "mbed-drivers/rtc_time.h"
+#include "wait_api.h"
+#include "rtc_time.h"
 
 const uint32_t CLOCK_SECOND = 1000;