Update comments in src/shims/time.rs

Co-Authored-By: Ralf Jung <post@ralfj.de>

diff --git a/src/shims/time.rs b/src/shims/time.rs
index d4c88cdb614bfcddbbd45ae795deaf3fc5395dae..07819fd56f1574c6b75c8fe84d5ee99565f835fd 100644 (file)
--- a/src/shims/time.rs
+++ b/src/shims/time.rs
@@ -125,7 +125,7 @@ fn QueryPerformanceCounter(&mut self, lpPerformanceCount_op: OpTy<'tcx, Tag>) ->
         this.check_no_isolation("QueryPerformanceCounter")?;
 
         // QPC uses a hardware counter as its basis.
-        // Miri will assume that the machine's hardware counter has a resolution of 1 nanosecond.
+        // Miri will emulate a counter with a resolution of 1 nanosecond.
         let duration = Instant::now().duration_since(this.machine.time_anchor);
         let qpc = i64::try_from(duration.as_nanos())
             .map_err(|_| err_unsup_format!("programs running longer than 2^63 nanoseconds are not supported"))?;