From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Fri, 5 Jun 2026 18:47:20 +0000 (+0200)
Subject: remove unecessary use of LayzLock
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=49c0cd373393cff48ff15f93b988194ff0fc6eeb;p=scryer-prolog.git

remove unecessary use of LayzLock

AtomicBool::new const
---

diff --git a/src/machine/mod.rs b/src/machine/mod.rs
index 487fadcc..57de1f96 100644
--- a/src/machine/mod.rs
+++ b/src/machine/mod.rs
@@ -62,9 +62,9 @@ use std::io::Read;
 use std::path::PathBuf;
 use std::process::ExitCode;
 use std::sync::atomic::AtomicBool;
-use std::sync::{LazyLock, OnceLock};
+use std::sync::OnceLock;
 
-pub static INTERRUPT: LazyLock<AtomicBool> = LazyLock::new(|| AtomicBool::new(false));
+pub static INTERRUPT: AtomicBool = AtomicBool::new(false);
 
 /// An instance of Scryer Prolog.
 ///