doc: clarification on reset

leanprover · Jan 13, 2025 · 28acbc6 · 28acbc6
1 parent 1addace
commit 28acbc6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Std/Internal/Async/Timer.lean b/src/Std/Internal/Async/Timer.lean
@@ -46,8 +46,8 @@ def wait (s : Sleep) : IO (AsyncTask Unit) := do
 
 /--
 If:
-- `s` is still running this will delay the resolution of `AsyncTask`s created with `wait` by
-  `duration` milliseconds.
+- `s` is still running the timer restarts counting from now and finishes after `duration`
+  milliseconds.
 - `s` is not yet or not anymore running this is a no-op.
 -/
 @[inline]