From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 1 May 2022 00:10:08 +0000 (+0100)
Subject: Fix a tiny whitespace error
X-Git-Tag: otter-1.1.0~385
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=6f723a19c6087b7d29541739aed7064927ce2577;p=otter.git

Fix a tiny whitespace error

Noticed in passing.

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

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()
   }
 }