From 6a866881fdc75a2edbc741cbe58a0638cb093c68 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 8 Jun 2024 18:31:46 +0200
Subject: [PATCH] comment nits

---
 src/shims/x86/mod.rs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/shims/x86/mod.rs b/src/shims/x86/mod.rs
index 0374cfedc5..f2d120df21 100644
--- a/src/shims/x86/mod.rs
+++ b/src/shims/x86/mod.rs
@@ -1140,15 +1140,15 @@ fn pmulhrsw<'tcx>(
     Ok(())
 }
 
-/// Perform a carry-less multiplication of two 64-bit integers, selected from left and right according to imm8,
-/// and store the results in dst.
+/// Perform a carry-less multiplication of two 64-bit integers, selected from `left` and `right` according to `imm8`,
+/// and store the results in `dst`.
 ///
-/// Left and right are both vectors of type 2 x i64. Only bits 0 and 4 of imm8 matter;
-/// they select the element of left and right, respectively.
+/// `left` and `right` are both vectors of type 2 x i64. Only bits 0 and 4 of `imm8` matter;
+/// they select the element of `left` and `right`, respectively.
 ///
 /// <https://www.intel.com/content/www/us/en/docs/intrinsics-guide/index.html#text=_mm_clmulepi64_si128>
 fn pclmulqdq<'tcx>(
-    this: &mut crate::MiriInterpCx<'tcx>,
+    this: &mut MiriInterpCx<'tcx>,
     left: &OpTy<'tcx>,
     right: &OpTy<'tcx>,
     imm8: &OpTy<'tcx>,