use stable_sort in analysis from 47f53f6; missed review comment

This commit is contained in:
Alex Coyte 2016-10-27 14:26:00 +11:00 committed by Matthew Barr
parent 29472c7b71
commit 2341fe7baa

View File

@ -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();
});