From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 6 Dec 2020 01:59:41 +0000 (+0000)
Subject: add missing copyright etc. header to wasm.rs
X-Git-Tag: otter-0.2.0~220
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=f9cb07d8e3aa5b2d42c4aafeb5a028b9a7a4b2e8;p=otter.git

add missing copyright etc. header to wasm.rs

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

diff --git a/zcoord/zcoord.rs b/zcoord/zcoord.rs
index 539ccb83..9287f916 100644
--- a/zcoord/zcoord.rs
+++ b/zcoord/zcoord.rs
@@ -370,7 +370,7 @@ impl AddSubOffset for AddSubRangeDelta {
   fn check_nospace(i: usize) { assert_ne!(i, 0) }
   fn start_limb(&self, _: &Mutable) -> usize { self.i }
   fn final_undo_delta() -> LimbVal { panic!() }
-  const SEALED_TRAIT : Sealed = Sealed(());
+  const SEALED_TRAIT: Sealed = Sealed(());
 }
 
 impl Mutable {