From 73cc872b5010936e6759f014b81f3a1054d9727c Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bennet=20Ble=C3=9Fmann?= <bb-github@t-online.de>
Date: Thu, 31 Jul 2025 21:38:48 +0200
Subject: [PATCH] check not empty instead of len > 0

---
 src/debray_allocator.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/debray_allocator.rs b/src/debray_allocator.rs
index 3bc96dfc..53c7f206 100644
--- a/src/debray_allocator.rs
+++ b/src/debray_allocator.rs
@@ -251,7 +251,7 @@ impl DebrayAllocator {
             }
         }
 
-        if self.branch_stack.len() > 0 {
+        if !self.branch_stack.is_empty() {
             for var_num in subsumed_hits {
                 self.branch_stack.add_branch_occurrence(var_num);
             }
-- 
2.54.0