From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 11 Mar 2021 21:24:13 +0000 (+0000)
Subject: zcoord: Delete some obsolete comments
X-Git-Tag: otter-0.4.0~142
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=8eb76ffda4b363affda99287356b85980abb5ffb;p=otter.git

zcoord: Delete some obsolete comments

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

diff --git a/base/zcoord.rs b/base/zcoord.rs
index 948d62b3..a656f984 100644
--- a/base/zcoord.rs
+++ b/base/zcoord.rs
@@ -10,8 +10,6 @@
 //  *  JSON is not lossy
 //  *  JSON is human-comprehensible
 //  *  JavaScript can compare efficiently
-//     JavaScript can do arithmetic efficiently
-//  *  Limb size is 48 for fast JS arithmetic
 //     Limb size is small for not being too full of padding
 //  *  Limb size is big so step algorithm rarely encounters limb boundaries
 //