diff options
Diffstat (limited to 'tool/mkopcodeh.tcl')
| -rw-r--r-- | tool/mkopcodeh.tcl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tool/mkopcodeh.tcl b/tool/mkopcodeh.tcl index cc372e404..d4f3c4f13 100644 --- a/tool/mkopcodeh.tcl +++ b/tool/mkopcodeh.tcl @@ -208,8 +208,9 @@ for {set i 0} {$i<$nOp} {incr i} { for {set g 0} {$g<$nGroup} {incr g} { set gLen [llength $groups($g)] set ok 0; set start -1 + set seek $cnt while {!$ok} { - set seek $cnt; incr seek + incr seek while {[info exists used($seek)]} {incr seek} set ok 1; set start $seek for {set j 0} {$j<$gLen} {incr j} { |