Skip to content

Commit

Permalink
Remove extraneous bound
Browse files Browse the repository at this point in the history
  • Loading branch information
FrankReh committed Oct 1, 2024
1 parent 3a660db commit 5fc2539
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions src/shims/unix/linux/epoll.rs
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ use std::io;
use std::rc::{Rc, Weak};
use std::time::Duration;

use crate::concurrency::{VClock, data_race};
use crate::concurrency::VClock;
use crate::shims::unix::fd::{FdId, FileDescriptionRef, WeakFileDescriptionRef};
use crate::shims::unix::*;
use crate::*;
Expand Down Expand Up @@ -193,9 +193,7 @@ impl EpollInterestTable {
}

impl<'tcx> EvalContextExt<'tcx> for crate::MiriInterpCx<'tcx> {}
pub trait EvalContextExt<'tcx>:
crate::MiriInterpCxExt<'tcx> + data_race::EvalContextExt<'tcx>
{
pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
/// This function returns a file descriptor referring to the new `Epoll` instance. This file
/// descriptor is used for all subsequent calls to the epoll interface. If the `flags` argument
/// is 0, then this function is the same as `epoll_create()`.
Expand Down

0 comments on commit 5fc2539

Please sign in to comment.