becopyilp2: Remove unused timelimit
authorMatthias Braun <matze@braunis.de>
Thu, 1 Dec 2011 16:31:23 +0000 (17:31 +0100)
committerMatthias Braun <matze@braunis.de>
Thu, 1 Dec 2011 19:02:21 +0000 (20:02 +0100)
commit7820863c6a1b5ff75c7ff5647b567fc838792fe4
treede929fd3a0a5c8338127d6b2619906195cb2dc60
parentee191a39e4a2172ed402b825c32a7132f4d0217b
becopyilp2: Remove unused timelimit

(There is a timelimit option in becopyilp anyway)
ir/be/becopyilp2.c