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);
             }