From 19c0fac8fdda8027c43f907fd251b6c65f0f7ebd Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 16 Sep 2022 18:54:45 -0400 Subject: [PATCH] fix compilation on < 4.12 --- src/dune | 2 +- src/thread_local.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/dune b/src/dune index aef121fa..268cf4cb 100644 --- a/src/dune +++ b/src/dune @@ -2,7 +2,7 @@ (name opentelemetry) (synopsis "API for opentelemetry instrumentation") (flags :standard -warn-error -a+8) - (libraries ptime ptime.clock.os pbrt threads) + (libraries ptime ptime.clock.os pbrt threads opentelemetry.atomic) (public_name opentelemetry)) ; ### protobuf rules ### diff --git a/src/thread_local.ml b/src/thread_local.ml index 21db1626..06d54bcb 100644 --- a/src/thread_local.ml +++ b/src/thread_local.ml @@ -1,4 +1,4 @@ -module A = Atomic +module A = Opentelemetry_atomic.Atomic type key = int