changeset 244 | 05f6e0d7710c |
parent 242 | 5b3e1c4569e6 |
child 248 | f7df265edd54 |
--- a/PLCGenerator.py Wed Aug 27 16:56:25 2008 +0200 +++ b/PLCGenerator.py Thu Aug 28 14:32:42 2008 +0200 @@ -785,6 +785,7 @@ uncomputed_index.remove(num) for num in uncomputed_index: factorized_paths.append(paths[num]) + factorized_paths.sort() return factorized_paths def GenerateLDPaths(self, connections, body):