From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 27 Jan 2021 00:55:07 +0000 (+0000)
Subject: wdt: replace an assert with an ensure
X-Git-Tag: otter-0.4.0~665
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=5118b1118fddf8a30e00a9e0792b0fe104ec6336;p=otter.git

wdt: replace an assert with an ensure

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

diff --git a/wdriver/wdt-simple.rs b/wdriver/wdt-simple.rs
index 12b3f3c4..156643de 100644
--- a/wdriver/wdt-simple.rs
+++ b/wdriver/wdt-simple.rs
@@ -92,7 +92,7 @@ impl Ctx {
 
     let chk = |w: &WindowGuard<'_>, exp_end| {
       let got_end = w.find_piece(pc)?.posg()?;
-      assert_eq!(got_end, exp_end);
+      ensure_eq!(got_end, exp_end);
       Ok::<_,AE>(())
     };