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