From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 11 Oct 2020 02:01:09 +0000 (+0100)
Subject: tidying
X-Git-Tag: otter-0.2.0~686
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=3fc5d409c41022474964d945d18bc2c22efd4eda;p=otter.git

tidying

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

diff --git a/zcoord/zcoord.rs b/zcoord/zcoord.rs
index 52813f7e..aabc2cb7 100644
--- a/zcoord/zcoord.rs
+++ b/zcoord/zcoord.rs
@@ -158,14 +158,14 @@ impl AddSubOffset for AddSubInc {
 
 struct AddSubDec;
 impl AddSubOffset for AddSubDec {
-  fn init_delta(&self) -> LimbVal { Wrapping(DELTA.0.wrapping_neg()) }
+  fn init_delta(&self) -> LimbVal { -DELTA }
   const CARRY_DELTA : LimbVal = Wrapping(ONE  .0.wrapping_neg());
   const NEW_LIMBS   : LimbVal = LIMB_MASK;
   #[throws(as Option)]
   fn check_underflow(_: &Mutable, i: usize, nv: LimbVal) {
     if i == 0 && nv == ZERO { throw!() }
   }
-  fn final_undo_delta() -> LimbVal { ZERO - DELTA + ONE }
+  fn final_undo_delta() -> LimbVal { -DELTA + ONE }
 }
 
 impl Mutable {