From: Nicolas Luck <nicolas@lucksus.eu>
Date: Mon, 16 Oct 2023 11:44:51 +0000 (+0200)
Subject: Remove unuse import
X-Git-Tag: remove^2~7
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=bfa7d3cf415bdf454d2c8d0a59d8e0c462171081;p=scryer-prolog.git

Remove unuse import
---

diff --git a/src/machine/mod.rs b/src/machine/mod.rs
index 45688ff4..61b1909b 100644
--- a/src/machine/mod.rs
+++ b/src/machine/mod.rs
@@ -60,7 +60,6 @@ use std::sync::atomic::AtomicBool;
 
 use self::config::MachineConfig;
 use self::parsed_results::*;
-use tokio::runtime::Runtime;
 use rand::rngs::StdRng;
 use rand::SeedableRng;