From b151a312bd327cf6adcd3b42af600582305eee42 Mon Sep 17 00:00:00 2001
From: Guillaume Fraux <guillaume.fraux@epfl.ch>
Date: Mon, 7 Oct 2024 15:46:01 +0200
Subject: [PATCH] Handler class does not have a `watch` field

---
 src/tools/Tools.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/tools/Tools.h b/src/tools/Tools.h
index 26e9d9eae9..ceae196406 100644
--- a/src/tools/Tools.h
+++ b/src/tools/Tools.h
@@ -368,7 +368,6 @@ class Tools {
           section=handler.section;
           key=std::move(handler.key);
         }
-        handler.watch=nullptr;
         return *this;
       }
       /// Destructor
@@ -517,4 +516,3 @@ std::vector<const T*> Tools::unique2raw(const std::vector<std::unique_ptr<const
 }
 
 #endif
-