diff --git a/src/common.rs b/src/common.rs
index feda52f86db093001f6840cd7c3ba370cdf87b61..4d6f9107083e5e953f7f4bd9095d549071aa827a 100644
--- a/src/common.rs
+++ b/src/common.rs
@@ -81,6 +81,7 @@ pub(crate) enum SyncBlocker {
     CouldntReadMsg(PortId),
     CouldntCheckFiring(PortId),
     PutMsg(PortId, Payload),
+    NondetChoice { n: u16 },
 }
 pub(crate) struct DenseDebugHex<'a>(pub &'a [u8]);