From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 29 Oct 2022 21:34:51 +0000 (+0100)
Subject: put 0 in shape first, rather than result of first edge
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=beb8eab061ea7993d8de0546b225d70ad7fc19f0;p=z3-treefoil

put 0 in shape first, rather than result of first edge

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

diff --git a/src/lib.rs b/src/lib.rs
index f01a3fa..58bbc56 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -24,8 +24,9 @@ pub fn read_vertices() -> impl Iterator<Item=Shape> {
       let cl = cx.to_ascii_lowercase();
       let d = if cx == cl { -1 } else { 1 };
       let i = cl as usize - 'x' as usize;
+      let was = current;
       current[i] += d;
-      current
+      was
     }).collect_vec();
     assert_eq!(current, Point::default());
     shape_abut_zero(&mut points);