From 70e423804e046f6cd8c2ae9e6bf8c1e3e290a814 Mon Sep 17 00:00:00 2001
From: c-cube <c-cube@users.noreply.github.com>
Date: Thu, 24 Mar 2022 18:07:45 +0000
Subject: [PATCH] deploy: 15511a751727375caf631d1c22589e4b48a842d3

---
 .../Opentelemetry/Trace_context/Traceparent/index.html          | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev/opentelemetry/Opentelemetry/Trace_context/Traceparent/index.html b/dev/opentelemetry/Opentelemetry/Trace_context/Traceparent/index.html
index 45b3840b..ce34c754 100644
--- a/dev/opentelemetry/Opentelemetry/Trace_context/Traceparent/index.html
+++ b/dev/opentelemetry/Opentelemetry/Trace_context/Traceparent/index.html
@@ -3,6 +3,6 @@
 
         For example:
 
-            00-4bf92f3577b34da6a3ce929d0e0e4736-00f067aa0ba902b7-01
+        00-4bf92f3577b34da6a3ce929d0e0e4736-00f067aa0ba902b7-01
 
         {flags} are currently ignored.</pre></div></div><div class="odoc-spec"><div class="spec value" id="val-to_value" class="anchored"><a href="#val-to_value" class="anchor"></a><code><span><span class="keyword">val</span> to_value : <span>trace_id:<a href="../../Trace_id/index.html#type-t">Trace_id.t</a> <span class="arrow">&#45;&gt;</span></span> <span>parent_id:<a href="../../Span_id/index.html#type-t">Span_id.t</a> <span class="arrow">&#45;&gt;</span></span> <span>unit <span class="arrow">&#45;&gt;</span></span> string</span></code></div></div></div></body></html>
\ No newline at end of file