diff --git a/src/common.rs b/src/common.rs
index b282961aa8feb99f73617b4dcc8123d7d0e5bad9..0fb568e0e0130902ec79312bc44e7c6ff941faaf 100644
--- a/src/common.rs
+++ b/src/common.rs
@@ -98,7 +98,6 @@ pub(crate) enum SyncBlocker {
     CouldntReadMsg(PortId),
     CouldntCheckFiring(PortId),
     PutMsg(PortId, Payload),
-    NondetChoice { n: u16 },
 }
 pub(crate) struct DenseDebugHex<'a>(pub &'a [u8]);
 pub(crate) struct DebuggableIter<I: Iterator<Item = T> + Clone, T: Debug>(pub(crate) I);