diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/phase.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/phase.py b/scripts/phase.py index 4da61b1..fe7b4b1 100644 --- a/scripts/phase.py +++ b/scripts/phase.py @@ -3,7 +3,7 @@ import sys from conf import conf -phases = ("Not Initialized" #0 +phases = ("Not Initialized", #0 "Initializing", #1 "Initialized", #2 "Solution generating", #3 |