'sat jobs': All columns of input file in the resulting board

[tools/sat.git] / commands / jobs.py

diff --git a/commands/jobs.py b/commands/jobs.py
index 0999cf367f7298dbe36ac5d113912394d60702e0..892e6512ced46895018a8db3660e77f18f378195 100644 (file)
--- a/commands/jobs.py
+++ b/commands/jobs.py
@@ -1241,7 +1241,6 @@ class Gui(object):
             columns = input_board[0][1:]
             
             rows = []
-            columns_out = []
             jobs = []
             for line in input_board[1:]:
                 row = line[0]
@@ -1253,13 +1252,11 @@ class Gui(object):
                     if today in days:
                         if row not in rows:
                             rows.append(row)
-                        if columns[i] not in columns_out:
-                            columns_out.append(columns[i])
                         job = (row, columns[i])
                         jobs.append(job)
 
             d_boards[board_name] = {"rows" : rows,
-                                    "columns" : columns_out,
+                                    "columns" : columns,
                                     "jobs" : jobs}
         
         self.d_input_boards = d_boards