Update out-of-date run comment in lib/lin.ml

Co-authored-by: shym <[email protected]>
ocaml-multicore · Oct 13, 2022 · bb3b5cd · bb3b5cd
1 parent f49c336
commit bb3b5cd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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