From 409b2985ca5c01e09e12c9d511703931f4234478 Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Sat, 2 Jul 2022 13:32:38 +0200
Subject: [PATCH] Bugfix

---
 .../dbengine/database/disk/SimpleIndexSearcherManager.java       | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/main/java/it/cavallium/dbengine/database/disk/SimpleIndexSearcherManager.java b/src/main/java/it/cavallium/dbengine/database/disk/SimpleIndexSearcherManager.java
index 57ee4fe..1232d65 100644
--- a/src/main/java/it/cavallium/dbengine/database/disk/SimpleIndexSearcherManager.java
+++ b/src/main/java/it/cavallium/dbengine/database/disk/SimpleIndexSearcherManager.java
@@ -142,7 +142,6 @@ public class SimpleIndexSearcherManager extends SimpleResource implements IndexS
 							indexSearcher = searcherManager.acquire();
 							fromSnapshot = false;
 						} else {
-							//noinspection resource
 							indexSearcher = snapshotsManager.resolveSnapshot(snapshot).getIndexSearcher(SEARCH_EXECUTOR);
 							fromSnapshot = true;
 						}