Split out vector_clock to separate file, general tidy up of some of the

[rust.git] / src / thread.rs

diff --git a/src/thread.rs b/src/thread.rs
index 08aeaa4fd095fc9bfb2ac050c49d9a723cb3de57..f94805ae022afc4a83c673c82410e8c4db38b9d5 100644 (file)
--- a/src/thread.rs
+++ b/src/thread.rs
@@ -638,7 +638,9 @@ fn active_thread_stack_mut(&mut self) -> &mut Vec<Frame<'mir, 'tcx, Tag, FrameDa
     fn set_active_thread_name(&mut self, new_thread_name: Vec<u8>) {
         let this = self.eval_context_mut();
         if let Ok(string) = String::from_utf8(new_thread_name.clone()) {
-            this.memory.extra.data_race.thread_set_name(string);
+            this.memory.extra.data_race.thread_set_name(
+                this.machine.threads.active_thread, string
+            );
         }
         this.machine.threads.set_thread_name(new_thread_name);
     }