don't assign unused name to exception

This commit is contained in:
Moritz Kobitzsch 2016-12-08 11:12:08 +01:00 committed by Daniel J. H
parent 97dcf4eef9
commit 2288704bb5

View File

@ -161,7 +161,7 @@ class FileReader
{ {
std::getline(input_stream, thisline); std::getline(input_stream, thisline);
} }
catch (const std::ios_base::failure &e) catch (const std::ios_base::failure & /*e*/)
{ {
// EOF is OK here, everything else, re-throw // EOF is OK here, everything else, re-throw
if (!input_stream.eof()) if (!input_stream.eof())