From 21c36880f18b1687887fc56a7fd21cfd15e078d2 Mon Sep 17 00:00:00 2001 From: Nicolas Luck Date: Wed, 2 Aug 2023 14:51:41 +0200 Subject: [PATCH] Fix build --- src/bin/scryer-prolog.rs | 1 + 1 file changed, 1 insertion(+) 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); -- 2.54.0