From 6f723a19c6087b7d29541739aed7064927ce2577 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 1 May 2022 01:10:08 +0100
Subject: [PATCH] Fix a tiny whitespace error

Noticed in passing.

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

diff --git a/src/global.rs b/src/global.rs
index b7bad6b3..53f95a30 100644
--- a/src/global.rs
+++ b/src/global.rs
@@ -1457,7 +1457,7 @@ impl IPieces {
   }
 
   pub fn is_empty(&self) -> bool {
-    let  IPieces(actual) = self;
+    let IPieces(actual) = self;
     actual.is_empty()
   }
 }
-- 
2.30.2