1 files changed, 1 insertions, 0 deletions
diff --git a/src/rt/sync/timer.h b/src/rt/sync/timer.h
index 509fd22cc0e..aae098a1119 100644
--- a/src/rt/sync/timer.h
+++ b/src/rt/sync/timer.h
@@ -17,6 +17,7 @@ public:
     timer();
     void reset(uint64_t timeout);
     uint64_t get_elapsed_time();
+    double get_elapsed_time_in_ms();
     int64_t get_timeout();
     bool has_timed_out();
     virtual ~timer();