| commit | 82b689a5fd270ed4806cc495b92678006fa7cd04 | [log] [tgz] |
|---|---|---|
| author | Markus Moll <markus.moll@esat.kuleuven.be> | Fri Aug 10 14:21:43 2012 +0200 |
| committer | Markus Moll <markus.moll@esat.kuleuven.be> | Fri Aug 10 14:21:43 2012 +0200 |
| tree | fc0780aa39b9fbae63ff2cb68aa4ea56b2f23c7c | |
| parent | ebcfdf4c65e45b91d368ee46bd52e2c6138d56a0 [diff] |
Close the bal_problem file when done reading it. Change-Id: I2755822cd2caf4019059e5b4a50f30077142e37f