From: Nicolas Luck <nicolas@lucksus.eu>
Date: Mon, 16 Oct 2023 12:55:38 +0000 (+0200)
Subject: Revert "Remove unuse import"
X-Git-Tag: remove^2~6
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=025412aac0cb1af1efbb65d574b01d7f8f7fe83b;p=scryer-prolog.git

Revert "Remove unuse import"

This reverts commit bfa7d3cf415bdf454d2c8d0a59d8e0c462171081.
---

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