From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 13 Mar 2021 15:40:04 +0000 (+0000)
Subject: at-otter: Use (rely on) newer dbgc
X-Git-Tag: otter-0.4.0~119
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=30fd84d4d5262fc183077b6461ed8e863a3cdb0d;p=otter.git

at-otter: Use (rely on) newer dbgc

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

diff --git a/apitest/at-otter.rs b/apitest/at-otter.rs
index 9660d283..4c2aefb0 100644
--- a/apitest/at-otter.rs
+++ b/apitest/at-otter.rs
@@ -417,7 +417,7 @@ impl Ctx {
 
     alice.synch()?;
     bob.synchx(None, |session, gen, k, v| {
-      dbgc!((k, v));
+      dbgc!(k,v);
     })?;
 
     // to repro a bug, have Bob move the RHS pawn out again