Blinky on Mbed OS 5.6

Revision:
87:4c31b7ef1391
Parent:
82:abf1b1785bd7
Child:
88:bea4f2daa48c
diff -r f6d935d72b90 -r 4c31b7ef1391 main.cpp
--- a/main.cpp	Thu Jan 03 13:45:03 2019 +0000
+++ b/main.cpp	Mon Jan 07 12:00:02 2019 +0000
@@ -16,7 +16,7 @@
     while (true) {
         // Blink LED and wait 0.5 seconds
         led1 = !led1;
-        wait(0.5f);
+        wait_ms(500);
 
         // Following the main thread wait, report on the current system status
         sys_state.report_state();