diff --git a/src/machine/machine_state.rs b/src/machine/machine_state.rs index a5ba3eff..024b31b6 100644 --- a/src/machine/machine_state.rs +++ b/src/machine/machine_state.rs @@ -16,7 +16,6 @@ use crate::parser::ast::*; use crate::read::TermWriteResult; use crate::types::*; - use indexmap::IndexMap; use std::convert::TryFrom; diff --git a/src/machine/mod.rs b/src/machine/mod.rs index 903dad2d..a38a1baa 100644 --- a/src/machine/mod.rs +++ b/src/machine/mod.rs @@ -234,11 +234,7 @@ impl Machine { /// Gets the current inference count. pub fn get_inference_count(&mut self) -> u64 { - self.machine_st - .cwil - .global_count - .try_into() - .unwrap() + self.machine_st.cwil.global_count.try_into().unwrap() } /// Runs the predicate `key` in `module_name` until completion.