]> Repositorios git - scryer-prolog.git/commitdiff
run rustfmt
authorSkgland <[email protected]>
Sat, 21 Mar 2026 13:24:13 +0000 (14:24 +0100)
committerSkgland <[email protected]>
Sat, 21 Mar 2026 13:24:13 +0000 (14:24 +0100)
src/machine/machine_state.rs
src/machine/mod.rs

index a5ba3eff5f2c721d33b5adb9ca16dbbed81583e1..024b31b6bb85faeba121f681864684758d48a7d8 100644 (file)
@@ -16,7 +16,6 @@ use crate::parser::ast::*;
 use crate::read::TermWriteResult;
 use crate::types::*;
 
-
 use indexmap::IndexMap;
 
 use std::convert::TryFrom;
index 903dad2daa543522ce1575a463cdc8cc69a85e9c..a38a1baaa78b2905aaddce15a3859f558b32a44e 100644 (file)
@@ -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.