use stable_sort in analysis from 47f53f6; missed review comment

diff --git a/src/nfagraph/ng_misc_opt.cpp b/src/nfagraph/ng_misc_opt.cpp
index 584c001f22635f55556b425a00c44c5976571c6f..716802ba8a02f6f9fe5a53d52b9a6598642e614b 100644 (file)
--- a/src/nfagraph/ng_misc_opt.cpp
+++ b/src/nfagraph/ng_misc_opt.cpp
@@ -634,7 +634,7 @@ bool pruneUsingSuccessors(NGHolder &g, NFAVertex u, som_type som) {
         }
         u_succs.push_back(v);
     }
-    sort(u_succs.begin(), u_succs.end(),
+    stable_sort(u_succs.begin(), u_succs.end(),
          [&](NFAVertex a, NFAVertex b) {
              return g[a].char_reach.count() > g[b].char_reach.count();
          });