From 5656cb73d45c6403c3e3ba2be0283b1779365ecb Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 5 May 2020 11:57:39 +0200
Subject: [PATCH] fix a comment now that we have concurrency

---
 src/shims/intrinsics.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
index cf485b547746..08087b0350d9 100644
--- a/src/shims/intrinsics.rs
+++ b/src/shims/intrinsics.rs
@@ -364,7 +364,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
             | "atomic_singlethreadfence"
             => {
                 let &[] = check_arg_count(args)?;
-                // we are inherently singlethreaded and singlecored, this is a nop
+                // FIXME: this will become relevant once we try to detect data races.
             }
 
             _ if intrinsic_name.starts_with("atomic_xchg") => {