check not empty instead of len > 0

diff --git a/src/debray_allocator.rs b/src/debray_allocator.rs
index 3bc96dfce9d9d52600457659e9c1c12ded25c6c4..53c7f206ddb8337c9424701b1ffffd4036432ba3 100644 (file)
--- 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);
             }