From 13d26783c78313e7c2c3f0af009464a910f8d8f5 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