From f5aac87978e58a5551351cc49e5309e7b2f9e870 Mon Sep 17 00:00:00 2001 From: JSDurand Date: Tue, 14 Mar 2023 23:16:45 +0800 Subject: Fix order of adding edges * incremental.rs: A call to `add_edge` was placed at the wrong place. --- src/incremental.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/incremental.rs b/src/incremental.rs index 361da7c..3f853bf 100644 --- a/src/incremental.rs +++ b/src/incremental.rs @@ -162,8 +162,6 @@ fn smi_step( if let Some(cand) = to_compare { *count += 1; - add_edge(graph.borrow_mut(), cand, assoc); - let acand = a.get(cand).unwrap(); let a_assoc = a.get(assoc).unwrap(); @@ -181,6 +179,8 @@ fn smi_step( continue; } + add_edge(graph.borrow_mut(), cand, assoc); + match acand.partial_cmp(a_assoc) { Some(Ordering::Less) | Some(Ordering::Equal) => {} _ => { -- cgit v1.2.3-18-g5258