From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Sat, 21 Mar 2026 13:24:13 +0000 (+0100)
Subject: run rustfmt
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=833c3bd77f27af8d9cb94c885ba95fa48f8a663c;p=scryer-prolog.git

run rustfmt
---

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.