From 2376ae545a33d6e6c4054d9229c3f1bd7f9af122 Mon Sep 17 00:00:00 2001
From: Gabriel Studer <gabriel.studer@unibas.ch>
Date: Wed, 30 Jan 2019 18:38:41 +0100
Subject: [PATCH] make sure that active_tool is initialized to NULL

---
 modules/gui/src/tools/tool_manager.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/modules/gui/src/tools/tool_manager.cc b/modules/gui/src/tools/tool_manager.cc
index 249c3a0ce..55cd23137 100644
--- a/modules/gui/src/tools/tool_manager.cc
+++ b/modules/gui/src/tools/tool_manager.cc
@@ -68,8 +68,7 @@ Tool* ToolManager::GetActiveTool() const
   return active_tool_;
 }
 
-ToolManager::ToolManager()
-{
+ToolManager::ToolManager(): active_tool_(NULL) {
   
 }
 
-- 
GitLab