Skip to content

Commit

Permalink
sort successors in node
Browse files Browse the repository at this point in the history
  • Loading branch information
kali committed Dec 3, 2024
1 parent bfafb30 commit 37fb403
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions core/src/model/graph.rs
Original file line number Diff line number Diff line change
Expand Up @@ -751,6 +751,7 @@ where
succ.node = old_to_new[succ.node];
}
output.successors.retain(|s| s.node < order.len());
output.successors.sort();
}
}
self.nodes = new_nodes;
Expand Down

0 comments on commit 37fb403

Please sign in to comment.