From a69b6b82045b47f84f8b10cfb354a620a5bc7190 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 2 Feb 2024 23:39:50 -0500 Subject: [PATCH] fix --- src/core/task_local_storage.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/task_local_storage.ml b/src/core/task_local_storage.ml index 6c513bf5..7cb40105 100644 --- a/src/core/task_local_storage.ml +++ b/src/core/task_local_storage.ml @@ -1,5 +1,5 @@ open Types_ -module A = Atomic +module A = Atomic_ type 'a key = 'a ls_key