From 28acbc6e1f9dee660a1b1aff98f4d76da65357b4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Mon, 13 Jan 2025 16:06:59 +0100
Subject: [PATCH] doc: clarification on reset

---
 src/Std/Internal/Async/Timer.lean | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Std/Internal/Async/Timer.lean b/src/Std/Internal/Async/Timer.lean
index 5524fb2b7f66a..8a6133658e99e 100644
--- 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]