From d9ddbafed768e8d6a13efe777f1d33902dea94bc Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 5 Apr 2021 00:12:02 +0100
Subject: [PATCH] wdt-hand: New test: Add a bit of dbg

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 wdriver/wdt-hand.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wdriver/wdt-hand.rs b/wdriver/wdt-hand.rs
index 6cf72342..abeb47d6 100644
--- a/wdriver/wdt-hand.rs
+++ b/wdriver/wdt-hand.rs
@@ -189,7 +189,7 @@ impl Ctx {
           .unwrap()
       };
       assert!(
-        find(P_ALICE) > find(P_BOB)
+        dbgc!( find(P_ALICE) ) > dbgc!( find(P_BOB) )
       );
       Ok::<_,AE>(())
     };
-- 
2.30.2