From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 30 Jan 2021 01:18:33 +0000 (+0000)
Subject: wdt-simple: conflict: establish our preconditions
X-Git-Tag: otter-0.4.0~627
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=76fda38befa0052c9a56f16ac701b18ec74830c8;p=otter.git

wdt-simple: conflict: establish our preconditions

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

diff --git a/wdriver/wdt-simple.rs b/wdriver/wdt-simple.rs
index b2878c91..a3d1e533 100644
--- a/wdriver/wdt-simple.rs
+++ b/wdriver/wdt-simple.rs
@@ -163,6 +163,14 @@ impl Ctx {
     let pc = "1.1";
     let su = &mut self.su;
 
+    {
+      let pc = "4.1";
+      let w = su.w(&self.alice)?;
+      w.action_chain()
+        .move_w(&w, w.find_piece(pc)?.posg()?)?
+        .click();
+    }
+
     #[derive(Debug)]
     struct Side<'s> {
       window: &'s Window,