From cd67e47872d0f23d5388fe1ec9717e3b442ec1ee Mon Sep 17 00:00:00 2001
From: tiif <pekyuan@gmail.com>
Date: Sat, 24 Aug 2024 23:36:18 +0800
Subject: [PATCH] Fix error in the timeout value error message

---
 src/tools/miri/src/shims/unix/linux/epoll.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/miri/src/shims/unix/linux/epoll.rs b/src/tools/miri/src/shims/unix/linux/epoll.rs
index 4efdf9518658..ade1ca73378d 100644
--- a/src/tools/miri/src/shims/unix/linux/epoll.rs
+++ b/src/tools/miri/src/shims/unix/linux/epoll.rs
@@ -487,7 +487,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
                 -1 => None,
                 ..-1 => {
                     throw_unsup_format!(
-                        "epoll_wait: Only timeout values greater than -1 are supported."
+                        "epoll_wait: Only timeout values greater than or equal to -1 are supported."
                     );
                 }
             };