From ae79c27d450d184c8dd510e64a4dc2a937d4c496 Mon Sep 17 00:00:00 2001
From: Jose Luis Blanco-Claraco <jlblanco@ual.es>
Date: Sat, 8 Jun 2019 09:52:42 +0200
Subject: [PATCH] fix unused parameter warning

---
 wrap/FileWriter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wrap/FileWriter.cpp b/wrap/FileWriter.cpp
index 2c3843b37..c07de0eb0 100644
--- a/wrap/FileWriter.cpp
+++ b/wrap/FileWriter.cpp
@@ -29,7 +29,7 @@ void FileWriter::emit(bool add_header, bool force_overwrite) const {
   bool file_exists = true;
   try {
     existing_contents = file_contents(filename_.c_str(), add_header);
-  } catch (const CantOpenFile& e) {
+  } catch (const CantOpenFile& ) {
     file_exists = false;
   }