From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 12 Feb 2021 00:52:45 +0000 (+0000)
Subject: hidden: Fix type of PUO::PerPlayer
X-Git-Tag: otter-0.4.0~547
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=cc87e9d7323166bcece61937df2f3ea486249f63;p=otter.git

hidden: Fix type of PUO::PerPlayer

This is keyed by PlayerId, ie a SecondaryMap

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/src/updates.rs b/src/updates.rs
index ee8002cd..bcb9c6ea 100644
--- a/src/updates.rs
+++ b/src/updates.rs
@@ -119,7 +119,7 @@ pub struct PieceUpdate {
 #[derive(Debug)]
 pub enum PieceUpdateOps {
   Simple(PieceUpdateOp<(),()>),
-  PerPlayer(DenseSlotMap<PlayerId, PieceUpdateOp<(),()>>),
+  PerPlayer(SecondarySlotMap<PlayerId, PieceUpdateOp<(),()>>),
 }
 
 impl From<PieceUpdateOp<(),()>> for PieceUpdateOps {