From: infogulch <infogulch@gmail.com>
Date: Mon, 13 Nov 2023 21:41:15 +0000 (-0600)
Subject: Fix lint
X-Git-Tag: v0.9.4~118^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=cab80d3fa279305fa634888b9f5303d4d1bfd7f1;p=scryer-prolog.git

Fix lint
---

diff --git a/src/codegen.rs b/src/codegen.rs
index 7297b72c..bc675640 100644
--- a/src/codegen.rs
+++ b/src/codegen.rs
@@ -296,11 +296,10 @@ impl DebrayAllocator {
                     self.mark_var_in_non_callable(var_num, term_loc, vr, code);
                     temp_v!(arg)
                 } else {
-                    match &self.var_data.records[var_num].allocation {
-                        VarAlloc::Perm(_, PermVarAllocation::Pending) => {
-                            self.mark_var_in_non_callable(var_num, term_loc, vr, code);
-                        }
-                        _ => {}
+                    if let VarAlloc::Perm(_, PermVarAllocation::Pending) =
+                        &self.var_data.records[var_num].allocation
+                    {
+                        self.mark_var_in_non_callable(var_num, term_loc, vr, code);
                     }
 
                     self.increment_running_count(var_num);