From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Fri, 20 Feb 2026 21:47:08 +0000 (+0100)
Subject: fix clippy lint warning
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=49e49b425dcc56438fdf1e4e6d42823bc629ab7f;p=scryer-prolog.git

fix clippy lint warning
---

diff --git a/src/debray_allocator.rs b/src/debray_allocator.rs
index 30fae204..6988420f 100644
--- a/src/debray_allocator.rs
+++ b/src/debray_allocator.rs
@@ -106,7 +106,7 @@ impl BranchStack {
         let branch_num = self
             .last()
             .map(|occurrences| occurrences.current_branch_num.clone())
-            .unwrap_or_else(|| BranchNumber::default());
+            .unwrap_or_default();
 
         BranchDesignator { branch_num }
     }