user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Make field private. It is not used outside the module and it should not be directly accessed anyway

Browse source
This commit is contained in:
Oli Scherer 2024-07-29 10:17:56 +00:00
parent a6796c10a1
commit 051cc2d768
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri/src/shims/unix/fd.rs
View file

@ -213,7 +213,7 @@ impl FileDescriptor {
/// The file descriptor table
#[derive(Debug)]
pub struct FdTable {
pub fds: BTreeMap<i32, FileDescriptor>,
fds: BTreeMap<i32, FileDescriptor>,
}
impl VisitProvenance for FdTable {