From 6c9f2dfd090ce5626468302d49da1aafa9ef523b Mon Sep 17 00:00:00 2001
From: actionshrimp <actionshrimp@users.noreply.github.com>
Date: Wed, 23 Mar 2022 15:48:52 +0000
Subject: [PATCH] deploy: 18ae3bc41b6cbb050b93c4254fbc3622987a1693

---
 dev/opentelemetry-lwt/Opentelemetry_lwt/Trace/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev/opentelemetry-lwt/Opentelemetry_lwt/Trace/index.html b/dev/opentelemetry-lwt/Opentelemetry_lwt/Trace/index.html
index bd661a77..3bc32330 100644
--- a/dev/opentelemetry-lwt/Opentelemetry_lwt/Trace/index.html
+++ b/dev/opentelemetry-lwt/Opentelemetry_lwt/Trace/index.html
@@ -20,5 +20,5 @@
   <span>?parent:<a href="../../../opentelemetry/Opentelemetry/Span/index.html#type-id">Span.id</a> <span class="arrow">&#45;&gt;</span></span>
   <span>?links:<span><span>(<a href="../../../opentelemetry/Opentelemetry/Trace_id/index.html#type-t">Opentelemetry.Trace_id.t</a> * <a href="../../../opentelemetry/Opentelemetry/Span_id/index.html#type-t">Opentelemetry.Span_id.t</a> * string)</span> list</span> <span class="arrow">&#45;&gt;</span></span>
   <span>string <span class="arrow">&#45;&gt;</span></span>
-  <span><span>( <span><span>(<a href="../../../opentelemetry/Opentelemetry/Trace_id/index.html#type-t">Trace_id.t</a> * <a href="../../../opentelemetry/Opentelemetry/Span_id/index.html#type-t">Span_id.t</a>)</span> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <span class="xref-unresolved">Lwt</span>.t</span> )</span> <span class="arrow">&#45;&gt;</span></span>
+  <span><span>( <span><a href="../../../opentelemetry/Opentelemetry/Trace/index.html#type-scope">Opentelemetry.Trace.scope</a> <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <span class="xref-unresolved">Lwt</span>.t</span> )</span> <span class="arrow">&#45;&gt;</span></span>
   <span><span class="type-var">'a</span> <span class="xref-unresolved">Lwt</span>.t</span></span></code></div><div class="spec-doc"><p>Sync span guard</p></div></div></div></body></html>
\ No newline at end of file