small change to improve efficiency
authorbdemsky <bdemsky>
Fri, 13 Jul 2007 22:26:09 +0000 (22:26 +0000)
committerbdemsky <bdemsky>
Fri, 13 Jul 2007 22:26:09 +0000 (22:26 +0000)
commit59770883aa8b7b4720143c074259ce21d5b49a6c
tree2285fbcdca5a42f7d9237804694b8aa6cffbd1b8
parentd4799bf6bcf4602ba351ea0f191ca14785fd085f
small change to improve efficiency
Robust/src/Runtime/task.c