From: Nicolas Luck <nicolas@lucksus.eu>
Date: Wed, 2 Aug 2023 12:51:41 +0000 (+0200)
Subject: Fix build
X-Git-Tag: remove^2~47
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=21c36880f18b1687887fc56a7fd21cfd15e078d2;p=scryer-prolog.git

Fix build
---

diff --git a/src/bin/scryer-prolog.rs b/src/bin/scryer-prolog.rs
index a7519def..f1f0b705 100644
--- a/src/bin/scryer-prolog.rs
+++ b/src/bin/scryer-prolog.rs
@@ -1,6 +1,7 @@
 fn main() {
     use std::sync::atomic::Ordering;
     use scryer_prolog::*;
+    use scryer_prolog::atom_table::Atom;
 
     ctrlc::set_handler(move || {
         scryer_prolog::machine::INTERRUPT.store(true, Ordering::Relaxed);