From 80a740f7c8968f9a5eb45c358c2c6b15a5e8087f Mon Sep 17 00:00:00 2001 From: Oussama Teffahi Date: Tue, 10 Dec 2024 16:10:47 +0100 Subject: [PATCH] Remove unnecessary drop after changes --- zenoh/src/api/session.rs | 2 -- 1 file changed, 2 deletions(-) diff --git a/zenoh/src/api/session.rs b/zenoh/src/api/session.rs index a1df20f314..013536e540 100644 --- a/zenoh/src/api/session.rs +++ b/zenoh/src/api/session.rs @@ -1584,8 +1584,6 @@ impl SessionInner { false, ) } - } else { - drop(state); } } else { drop(state);