diff --git a/src/runtime/mod.rs b/src/runtime/mod.rs
index cbcce7fdc9a26443da268cd3de30c6022c456516..bfd91f31a6e551566f2b7ea929a2e7c20aba7206 100644
--- a/src/runtime/mod.rs
+++ b/src/runtime/mod.rs
@@ -20,7 +20,7 @@ pub struct Connector {
     unphased: ConnectorUnphased,
     phased: ConnectorPhased,
 }
-pub trait Logger: Debug {
+pub trait Logger: Debug + Send + Sync {
     fn line_writer(&mut self) -> Option<&mut dyn std::io::Write>;
 }
 #[derive(Debug)]
@@ -39,6 +39,7 @@ pub(crate) struct NonsyncProtoContext<'a> {
 }
 pub(crate) struct SyncProtoContext<'a> {
     logger: &'a mut dyn Logger,
+    did_put_or_get: &'a mut HashSet<PortId>,
     untaken_choice: &'a mut Option<u16>,
     predicate: &'a Predicate,
     port_info: &'a PortInfo,