diff --git a/src/protocol/mod.rs b/src/protocol/mod.rs index 8a479bec378d74d907e86d322134bde9c0e794a0..45f880fbe64dec700ef72086e324877299969e5b 100644 --- a/src/protocol/mod.rs +++ b/src/protocol/mod.rs @@ -215,8 +215,6 @@ pub trait RunContext { fn fires(&mut self, port: PortId) -> Option; // None if not yet branched fn performed_fork(&mut self) -> Option; // None if not yet forked fn created_channel(&mut self) -> Option<(Value, Value)>; // None if not yet prepared - fn performed_select_start(&mut self) -> bool; // true if performed - fn performed_select_register_port(&mut self) -> bool; // true if registered fn performed_select_wait(&mut self) -> Option; // None if not yet notified runtime of select blocker }