tree fc0780aa39b9fbae63ff2cb68aa4ea56b2f23c7c
parent ebcfdf4c65e45b91d368ee46bd52e2c6138d56a0
author Markus Moll <markus.moll@esat.kuleuven.be> 1344601303 +0200
committer Markus Moll <markus.moll@esat.kuleuven.be> 1344601303 +0200

Close the bal_problem file when done reading it.

Change-Id: I2755822cd2caf4019059e5b4a50f30077142e37f