From: Bennet Bleßmann <bb-github@t-online.de>
Date: Thu, 31 Jul 2025 19:38:48 +0000 (+0200)
Subject: check not empty instead of len > 0
X-Git-Tag: v0.10.0~35^2~1^2~10
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=73cc872b5010936e6759f014b81f3a1054d9727c;p=scryer-prolog.git

check not empty instead of len > 0
---

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