Fix error in OutputFile destructor master
authorChristoph Feck <christoph@maxiom.de>
Wed, 6 Nov 2013 21:30:33 +0000 (22:30 +0100)
committerChristoph Feck <christoph@maxiom.de>
Wed, 6 Nov 2013 21:30:33 +0000 (22:30 +0100)
commit97427ac739fd8f93772fe54987154d81bdb5d859
tree7c246b1464a935bd27553902abde0bd311d39684
parent51fd8df65c47fb8394f3ed8cda8e600db01f9489
Fix error in OutputFile destructor

Spotted by Jonathan Lafleche
file.cpp