Skip to content

Commit 2166eae

Browse files
committed
Use active thread id
1 parent 7e9da8d commit 2166eae

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/machine.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -624,7 +624,7 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for Evaluator<'mir, 'tcx> {
624624
Some(profiler.start_recording_interval_event_detached(
625625
name,
626626
EventId::from_label(name),
627-
0
627+
ecx.get_active_thread().to_u32()
628628
))
629629
} else {
630630
None

0 commit comments

Comments
 (0)