Remove some unneeded code that was slowing down the run function.
authorKim Nguyễn <kn@lri.fr>
Sun, 1 Dec 2013 12:18:59 +0000 (13:18 +0100)
committerKim Nguyễn <kn@lri.fr>
Sun, 1 Dec 2013 12:18:59 +0000 (13:18 +0100)

No differences found