don't assign unused name to exception

Moritz Kobitzsch · daniel-j-h · commit 2288704bb55d · 2016-12-08T13:35:28.000+01:00
diff --git a/include/storage/io.hpp b/include/storage/io.hpp
@@ -161,7 +161,7 @@ class FileReader
         {
             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
             if (!input_stream.eof())

Original file line number	Diff line number	Diff line change
`@@ -161,7 +161,7 @@ class FileReader`
`161`	`161`	`{`
`162`	`162`	`std::getline(input_stream, thisline);`
`163`	`163`	`}`
`164`		`- catch (const std::ios_base::failure &e)`
	`164`	`+ catch (const std::ios_base::failure & /e/)`
`165`	`165`	`{`
`166`	`166`	`// EOF is OK here, everything else, re-throw`
`167`	`167`	`if (!input_stream.eof())`