Update src/core/trace_core.mli

Co-authored-by: Corentin Leruth <corentin.leruth@gmail.com>
This commit is contained in:
Simon Cruanes 2023-08-03 11:25:08 -04:00 committed by GitHub
parent 3d55a3b69f
commit d76567d7b3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -42,7 +42,7 @@ val enter_explicit_span :
?data:(unit -> (string * user_data) list) ->
string ->
explicit_span
(** Like {!enter_span} but the caller is responsible for
(** Like {!with_span} but the caller is responsible for
providing the [surrounding] context, and carry the resulting
{!explicit_span} to the matching {!exit_explicit_span}.
@since NEXT_RELEASE *)