From f728257f264f4b5591b4d4abfdd3d69e7460574b Mon Sep 17 00:00:00 2001
From: Georg Baum <baum@lyx.org>
Date: Sat, 16 May 2015 14:05:29 +0200
Subject: [PATCH] Shut up compiler warning

---
 boost/boost/optional/optional.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boost/boost/optional/optional.hpp b/boost/boost/optional/optional.hpp
index afcb8079e2..64ddac84d9 100644
--- a/boost/boost/optional/optional.hpp
+++ b/boost/boost/optional/optional.hpp
@@ -1251,7 +1251,7 @@ get_pointer ( optional<T>& opt )
 // The following declaration prevents a bug where operator safe-bool is used upon streaming optional object if you forget the IO header.
 template<class CharType, class CharTrait>
 std::basic_ostream<CharType, CharTrait>&
-operator<<(std::basic_ostream<CharType, CharTrait>& out, optional_detail::optional_tag const& v)
+operator<<(std::basic_ostream<CharType, CharTrait>&, optional_detail::optional_tag const&)
 {
   BOOST_STATIC_ASSERT_MSG(sizeof(CharType) == 0, "If you want to output boost::optional, include header <boost/optional/optional_io.hpp>"); 
 }
-- 
2.39.2