diff options
| -rw-r--r-- | src/tools/miri/src/shims/unix/linux/epoll.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/shims/unix/linux/epoll.rs b/src/tools/miri/src/shims/unix/linux/epoll.rs index 4efdf951865..ade1ca73378 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." ); } }; |