Source

pypy / pypy / translator / goal / richards.py

Diff from to

pypy/translator/goal/richards.py

 
 import time
 
-
-
 def schedule():
     t = taskWorkArea.taskList
     while t is not None: