From 37fb4037c5562396f27c416d2f222349b6e405c6 Mon Sep 17 00:00:00 2001
From: Mathieu Poumeyrol <kali@zoy.org>
Date: Mon, 2 Dec 2024 11:37:04 +0100
Subject: [PATCH] sort successors in node

---
 core/src/model/graph.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/src/model/graph.rs b/core/src/model/graph.rs
index cb86136283..8150f37853 100644
--- a/core/src/model/graph.rs
+++ b/core/src/model/graph.rs
@@ -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;