From aad359fcf9101d8e2a19f5de7f0bdadc1d265d11 Mon Sep 17 00:00:00 2001
From: Maciej Suminski <maciej.suminski@cern.ch>
Date: Sun, 20 Jul 2014 20:58:33 +0200
Subject: [PATCH] Fixed Mac OS build.

---
 common/tool/tool_manager.cpp | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/common/tool/tool_manager.cpp b/common/tool/tool_manager.cpp
index cf64603b4d..6aec0a9002 100644
--- a/common/tool/tool_manager.cpp
+++ b/common/tool/tool_manager.cpp
@@ -145,7 +145,7 @@ struct TOOL_MANAGER::TOOL_STATE
      */
     void Push()
     {
-        stateStack.push( *this );
+        stateStack.push( new TOOL_STATE( *this ) );
 
         clear();
     }
@@ -162,7 +162,8 @@ struct TOOL_MANAGER::TOOL_STATE
 
         if( !stateStack.empty() )
         {
-            *this = stateStack.top();
+            *this = *stateStack.top();
+            delete stateStack.top();
             stateStack.pop();
 
             return true;
@@ -177,7 +178,7 @@ struct TOOL_MANAGER::TOOL_STATE
 
 private:
     ///> Stack preserving previous states of a TOOL.
-    std::stack<TOOL_STATE> stateStack;
+    std::stack<TOOL_STATE*> stateStack;
 
     ///> Restores the initial state.
     void clear()