From 6ac788ff8e6924ed4a9c9a9e781deda1f39604b0 Mon Sep 17 00:00:00 2001
From: Guillaume Fraux <guillaume.fraux@epfl.ch>
Date: Mon, 7 Oct 2024 15:58:32 +0200
Subject: [PATCH] Handler field name is `section`, not `watch`

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

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