Merge pull request #388 from mcmasterg/todo_path

gnd: fix todo path
This commit is contained in:
John Mcmaster 2018-12-21 18:52:20 -08:00 committed by GitHub
commit 0311f9b305
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -21,7 +21,7 @@ route_design
# write_checkpoint -force design.dcp # write_checkpoint -force design.dcp
set fp [open "../todo.txt" r] set fp [open "../../todo.txt" r]
set todo_lines {} set todo_lines {}
for {gets $fp line} {$line != ""} {gets $fp line} { for {gets $fp line} {$line != ""} {gets $fp line} {
lappend todo_lines [split $line .] lappend todo_lines [split $line .]