From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 20 Mar 2021 21:58:37 +0000 (+0000)
Subject: clock: Delete some now-obsolete todos
X-Git-Tag: otter-0.5.0~606
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=4134ecd300ed3f499c883fa3b114488a5382b19c;p=otter.git

clock: Delete some now-obsolete todos

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

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);