From 4134ecd300ed3f499c883fa3b114488a5382b19c Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sat, 20 Mar 2021 21:58:37 +0000 Subject: [PATCH] clock: Delete some now-obsolete todos Signed-off-by: Ian Jackson --- src/clock.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/clock.rs b/src/clock.rs index b14359ff..c612b7af 100644 --- a/src/clock.rs +++ b/src/clock.rs @@ -629,7 +629,7 @@ impl PieceTrait for Clock { state.reset(&self.spec); (Unpredictable, format!("reset")) }, - "claim-x" | "claim-y" => { // xxx these need to be Unpredictable + "claim-x" | "claim-y" => { let user = get_user(); if let Some(_gpl) = gs.players.get(state.users[user].player) { throw!(OE::BadPieceStateForOperation); @@ -641,7 +641,7 @@ impl PieceTrait for Clock { } (Unpredictable, format!("became player {} at the", user)) }, - "unclaim-x" | "unclaim-y" => { // xxx these need to be Unpredictable + "unclaim-x" | "unclaim-y" => { let user = get_user(); if state.users[user].player != player { throw!(OE::BadPieceStateForOperation); -- 2.30.2