From: Bennet Bleßmann <bb-github@t-online.de>
Date: Thu, 31 Jul 2025 19:45:57 +0000 (+0200)
Subject: remove unecessary cast
X-Git-Tag: v0.10.0~35^2~1^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=de89a78cbb160099be4d08af74fd46821cce3805;p=scryer-prolog.git

remove unecessary cast
---

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 6c91bada..15a0d6a6 100644
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -784,7 +784,7 @@ impl MachineState {
                 let steps = if max_steps > -1 {
                     std::cmp::min(max_steps, num_steps as i64)
                 } else {
-                    max_steps as i64
+                    max_steps
                 };
 
                 self.finalize_skip_max_list(steps, pstr_loc); // cell);