From adba96fd2bda4b123f9ca624e0ded71daf9d9a8c Mon Sep 17 00:00:00 2001
From: Maciej Suminski <maciej.suminski@cern.ch>
Date: Fri, 24 Feb 2017 17:34:23 +0100
Subject: [PATCH] Changed optional::value_or() to optional::get_value_or()

get_value_or() is considered deprecated, but still works in the newest
boost (1.63). On the other hand, value_or() is not available in some
versions that are still used by major distros.
---
 common/tool/tool_manager.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/common/tool/tool_manager.cpp b/common/tool/tool_manager.cpp
index 9228083e6a..5048da41c3 100644
--- a/common/tool/tool_manager.cpp
+++ b/common/tool/tool_manager.cpp
@@ -682,7 +682,7 @@ void TOOL_MANAGER::dispatchContextMenu( const TOOL_EVENT& aEvent )
         if( activeTool == GetCurrentToolId() )
         {
             m_viewControls->ForceCursorPosition( (bool) m_origCursor,
-                    m_origCursor.value_or( VECTOR2D( 0, 0 ) ) );
+                    m_origCursor.get_value_or( VECTOR2D( 0, 0 ) ) );
         }
 
         m_origCursor = boost::none;