From 051cc2d7682ad417e3443e3aa9ecd06a7fbf2a08 Mon Sep 17 00:00:00 2001 From: Oli Scherer Date: Mon, 29 Jul 2024 10:17:56 +0000 Subject: [PATCH] Make field private. It is not used outside the module and it should not be directly accessed anyway --- src/tools/miri/src/shims/unix/fd.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri/src/shims/unix/fd.rs b/src/tools/miri/src/shims/unix/fd.rs index 0fffecd99d5c..d6399489c9b9 100644 --- a/src/tools/miri/src/shims/unix/fd.rs +++ b/src/tools/miri/src/shims/unix/fd.rs @@ -213,7 +213,7 @@ impl FileDescriptor { /// The file descriptor table #[derive(Debug)] pub struct FdTable { - pub fds: BTreeMap, + fds: BTreeMap, } impl VisitProvenance for FdTable {