From 9c4ec9cfae4d7118cae514ef31eeb651aaa4547c Mon Sep 17 00:00:00 2001
From: Thomas Kemmer <tkemmer@computer.org>
Date: Mon, 3 Sep 2018 20:54:27 +0200
Subject: [PATCH] Use high resolution time for Timer::read().

---
 drivers/Timer.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/drivers/Timer.cpp b/drivers/Timer.cpp
index ccf75f6089..5a6d7df9e4 100644
--- a/drivers/Timer.cpp
+++ b/drivers/Timer.cpp
@@ -79,7 +79,7 @@ int Timer::read_us()
 
 float Timer::read()
 {
-    return (float)read_us() / 1000000.0f;
+    return (float)read_high_resolution_us() / 1000000.0f;
 }
 
 int Timer::read_ms()