fix for 4.08

This commit is contained in:
Simon Cruanes 2023-11-08 14:11:15 -05:00
parent ccfc2eed0f
commit 396c0c8516
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,6 +1,6 @@
(** A multi-producer, single-consumer queue (from picos) *)
type !'a t
type 'a t
val create : unit -> 'a t
val enqueue : 'a t -> 'a -> unit