From bb3b5cd6dc6058386276e1fe8cbe929056fe99cb Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Thu, 13 Oct 2022 19:07:41 +0200 Subject: [PATCH] Update out-of-date `run` comment in lib/lin.ml Co-authored-by: shym --- lib/lin.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/lin.ml b/lib/lin.ml index b7b10e241..fb59208b6 100644 --- a/lib/lin.ml +++ b/lib/lin.ml @@ -79,7 +79,7 @@ module type CmdSpec = sig e.g., for closing sockets, files, or resetting global parameters *) val run : (Var.t option * cmd) -> t array -> res - (** [run (opt,c) t] should interpret the command [c] over the system under test [t] (typically side-effecting). + (** [run (opt,c) t] should interpret the command [c] over the various instances of the system under test [t array] (typically side-effecting). [opt] indicates the index to store the result. *) end