fix test: do not use feature not present in 4.08

This commit is contained in:
Simon Cruanes 2023-06-09 10:23:43 -04:00
parent 3d6c46b7d4
commit b6322d0604
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,6 +1,6 @@
let run () = let run () =
for _i = 1 to 50 do for _i = 1 to 50 do
Trace.with_span ~__FUNCTION__ ~__FILE__ ~__LINE__ "outer.loop" @@ fun _sp -> Trace.with_span ~__FILE__ ~__LINE__ "outer.loop" @@ fun _sp ->
for _j = 2 to 5 do for _j = 2 to 5 do
Trace.with_span ~__FILE__ ~__LINE__ "inner.loop" @@ fun _sp -> Trace.with_span ~__FILE__ ~__LINE__ "inner.loop" @@ fun _sp ->
Trace.messagef ~__FILE__ ~__LINE__ (fun k -> k "hello %d %d" _i _j) Trace.messagef ~__FILE__ ~__LINE__ (fun k -> k "hello %d %d" _i _j)