Compilation fix for newer mbed-os

Fork of X_NUCLEO_IDB0XA1 by ST

Branch:
32241492098bb4d0cd62a16975725a4374ad7ecc
Revision:
294:fd19310b086d
Parent:
280:fbee0e3444be
Child:
298:a16d2170c282
--- a/x-nucleo-idb0xa1/bluenrg-hci/ble_osal.h	Thu Sep 15 10:52:00 2016 +0100
+++ b/x-nucleo-idb0xa1/bluenrg-hci/ble_osal.h	Thu Sep 15 10:52:02 2016 +0100
@@ -22,7 +22,7 @@
 /******************************************************************************
  * Includes
  *****************************************************************************/
-#include <hal_types.h>
+#include <ble_hal_types.h>
 #ifdef __ICCARM__
 #include <intrinsics.h>
 #endif
@@ -78,4 +78,4 @@
 uint32_t Osal_Get_Cur_Time(void);
 
 
-#endif /* __OSAL_H__ */
+#endif /* __OSAL_H__ */
\ No newline at end of file