From 4b998f60369756fb95bb44e94dc871e81f737aaa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Tue, 11 Mar 2025 22:54:06 +0100
Subject: [PATCH] Fix a comment.
---
src/Clock.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/Clock.ml b/src/Clock.ml
index d12f86d..ccf93e4 100644
--- a/src/Clock.ml
+++ b/src/Clock.ml
@@ -24,7 +24,7 @@ type clock = {
mutable now: float;
(* The number of ticks that have taken place. *)
mutable ticks: int;
- (* The last time [tick] was called for this clock. *)
+ (* The last time a user function [f] was called via [tick clock f]. *)
mutable last: float;
(* A circular array of the times at which the most recent round ticks
took place. *)
--
GitLab