From 2288704bb55d17e86d2428c1e2696f630fb20f9c Mon Sep 17 00:00:00 2001
From: Moritz Kobitzsch <moritz@mapbox.com>
Date: Thu, 8 Dec 2016 11:12:08 +0100
Subject: [PATCH] don't assign unused name to exception

---
 include/storage/io.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/storage/io.hpp b/include/storage/io.hpp
index 6c4472633..eba9d4e7e 100644
--- 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())