Compilation fix for newer mbed-os

Fork of X_NUCLEO_IDB0XA1 by ST

Revision:
144:bdf5e8432131
Parent:
132:51056160fa4a
Child:
177:65d9b1b75fca
diff -r 63f5e8a590d4 -r bdf5e8432131 source/platform/clock.c
--- a/source/platform/clock.c	Mon Oct 19 13:55:48 2015 +0200
+++ b/source/platform/clock.c	Wed Oct 21 11:56:41 2015 +0200
@@ -1,7 +1,7 @@
 
 #include "clock.h"
-#include "wait_api.h"
-#include "rtc_time.h"
+#include "mbed-drivers/wait_api.h"
+#include "mbed-drivers/rtc_time.h"
 
 const uint32_t CLOCK_SECOND = 1000;