at-otter: Introduce synchu

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

diff --git a/apitest/at-otter.rs b/apitest/at-otter.rs
index 3da0ea6d156ab0f8a48de885e73a6a6b3040a535..fd4c94026f8a52e49d5f175d8994c9ca8655954d 100644 (file)
--- a/apitest/at-otter.rs
+++ b/apitest/at-otter.rs
@@ -345,6 +345,11 @@ impl Session {
     )?;
   }
 
+  #[throws(AE)]
+  fn synchu<PI:Idx>(&mut self, pieces: &mut IndexVec<PI, PieceInfo<JsV>>) {
+    self.synchx(Some(pieces), None, |_session, _gen, _k, _v| ())?;
+  }
+
   #[throws(AE)]
   fn synch(&mut self) {
     self.synchx::<PIA,_>(None, None, |_session, _gen, _k, _v|())?;
@@ -493,7 +498,7 @@ impl Ctx {
     }
 
     alice.synch()?;
-    bob.synchx(Some(&mut b_pieces), None, |session, gen, k, v| ())?;
+    bob.synchu(&mut b_pieces)?;
 
     for &p in &b_pawns {
       let b_pos = &b_pieces[p].pos;