From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 12 Mar 2021 01:11:18 +0000 (+0000)
Subject: hidden: a todo
X-Git-Tag: otter-0.4.0~133
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=a3620fadb13777cb0767d6459cc2ef0aa4090037;p=otter.git

hidden: a todo

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

diff --git a/apitest/at-otter.rs b/apitest/at-otter.rs
index fb7eee70..ba07b369 100644
--- a/apitest/at-otter.rs
+++ b/apitest/at-otter.rs
@@ -351,6 +351,8 @@ impl Ctx {
 
     session.synch(&mut self.su)?;
 
+    // to repro a bug, have Bob move the RHS pawn out again
+
     self.su.mgmt_conn.cmd(&MC::LoadFakeRng(vec![]))?;
   }
 }