From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 6 Dec 2020 01:59:12 +0000 (+0000)
Subject: formatting, some from rustfmt (manually picked)
X-Git-Tag: otter-0.2.0~221
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=eb38b9d458d588738c4f4907272d2b5bd76433c9;p=otter.git

formatting, some from rustfmt (manually picked)

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

diff --git a/zcoord/zcoord.rs b/zcoord/zcoord.rs
index 428d68d6..539ccb83 100644
--- a/zcoord/zcoord.rs
+++ b/zcoord/zcoord.rs
@@ -244,7 +244,7 @@ impl AddSubOffset for Decrement {
     if i == 0 && nv == ZERO { throw!() }
   }
   fn final_undo_delta() -> LimbVal { -DELTA + ONE }
-  const SEALED_TRAIT : Sealed = Sealed(());
+  const SEALED_TRAIT: Sealed = Sealed(());
 }
 
 impl Mutable {