From 833c3bd77f27af8d9cb94c885ba95fa48f8a663c Mon Sep 17 00:00:00 2001
From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Sat, 21 Mar 2026 14:24:13 +0100
Subject: [PATCH] run rustfmt

---
 src/machine/machine_state.rs | 1 -
 src/machine/mod.rs           | 6 +-----
 2 files changed, 1 insertion(+), 6 deletions(-)

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.
-- 
2.54.0