From 8f9c33ba2c686f9fa86415a138cb9fd55d828064 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 29 Oct 2023 18:41:02 -0400 Subject: [PATCH] fix compilation error --- src/ws_pool.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ws_pool.ml b/src/ws_pool.ml index 179d555a..44432112 100644 --- a/src/ws_pool.ml +++ b/src/ws_pool.ml @@ -1,6 +1,6 @@ module WSQ = Ws_deque_ module A = Atomic_ -module TLS = Thread_local_storage +module TLS = Thread_local_storage_ include Runner let ( let@ ) = ( @@ )