run rustfmt

diff --git a/src/machine/machine_state.rs b/src/machine/machine_state.rs
index a5ba3eff5f2c721d33b5adb9ca16dbbed81583e1..024b31b6bb85faeba121f681864684758d48a7d8 100644 (file)
--- 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 903dad2daa543522ce1575a463cdc8cc69a85e9c..a38a1baaa78b2905aaddce15a3859f558b32a44e 100644 (file)
--- 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.