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);