John Karatka
mbed
Fork of
mbed-dev
by 
mbed official
Diff: drivers/Timer.h
- Revision:
- 175:b96e65c34a4d
- Parent:
- 168:9672193075cf
- Child:
- 176:af195413fb11
diff -r e131a1973e81 -r b96e65c34a4d drivers/Timer.h
--- a/drivers/Timer.h Fri Sep 15 14:59:18 2017 +0100
+++ b/drivers/Timer.h Mon Oct 02 15:33:19 2017 +0100
@@ -19,6 +19,7 @@
#include "platform/platform.h"
#include "hal/ticker_api.h"
#include "platform/NonCopyable.h"
+#include "platform/mbed_sleep.h"
namespace mbed {
/** \addtogroup drivers */