From 67bc11b4d355b4c277d21d16861e52574031f131 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 8 Nov 2023 14:11:15 -0500 Subject: [PATCH] fix for 4.08 --- src/tef/mpsc_queue.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tef/mpsc_queue.mli b/src/tef/mpsc_queue.mli index a14444b..594c8dc 100644 --- a/src/tef/mpsc_queue.mli +++ b/src/tef/mpsc_queue.mli @@ -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