From: Danil Platonov <platonov.danil.ivanovich@gmail.com>
Date: Sat, 30 May 2026 22:59:16 +0000 (-0700)
Subject: unused code for unimplemented shutdown on timeout feature
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=304cf424ed34311d0190cbe97ea6b2a18c0f4a65;p=scryer-prolog.git

unused code for unimplemented shutdown on timeout feature
---

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 43e81446..3aba0c17 100644
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -4595,7 +4595,6 @@ impl Machine {
 
             // warp shutdown channel
             let (warp_shutdown_tx, mut warp_shutdown_rx) = tokio::sync::mpsc::channel(1);
-            let warp_shutdown_tx_timeout = warp_shutdown_tx.clone();
 
             let runtime = tokio::runtime::Handle::current();
             let _guard = runtime.enter();