# HG changeset patch
# User lbessard
# Date 1219926762 -7200
# Node ID 05f6e0d7710ce3485dc3821c3af23b648f40d2e8
# Parent  c5da8b706cdec84035cbbcb6ffc26f5359ef7e0e
Adding sort in LD factorized paths to avoid combination problem

diff -r c5da8b706cde -r 05f6e0d7710c PLCGenerator.py
--- 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):