From: Mark <markjordanthom@gmail.com>
Date: Thu, 21 Dec 2023 17:24:01 +0000 (-0700)
Subject: fix cargo fmt --check
X-Git-Tag: v0.9.4~63
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=a7154968d85c2f6bf1c36372cc387125f6b6c6ec;p=scryer-prolog.git

fix cargo fmt --check
---

diff --git a/src/machine/stack.rs b/src/machine/stack.rs
index a300d5f3..fd465c14 100644
--- a/src/machine/stack.rs
+++ b/src/machine/stack.rs
@@ -204,9 +204,7 @@ impl Stack {
     }
 
     pub(crate) fn top(&self) -> usize {
-        unsafe {
-            (*self.buf.ptr.get()) as usize - self.buf.base as usize
-        }
+        unsafe { (*self.buf.ptr.get()) as usize - self.buf.base as usize }
     }
 
     pub(crate) fn allocate_or_frame(&mut self, num_cells: usize) -> usize {
diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 3aa4ec73..2e3c1d54 100644
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -1201,7 +1201,13 @@ impl Machine {
             match &self.code[bp] {
                 Instruction::IndexingCode(ref indexing_code) => {
                     let indexing_code_ptr = match &indexing_code[0] {
-                        &IndexingLine::Indexing(IndexingInstruction::SwitchOnTerm(_, _, c, _, s)) => {
+                        &IndexingLine::Indexing(IndexingInstruction::SwitchOnTerm(
+                            _,
+                            _,
+                            c,
+                            _,
+                            s,
+                        )) => {
                             if key.1 > 0 {
                                 s
                             } else {
@@ -1260,7 +1266,10 @@ impl Machine {
                     bp -= offset;
                 }
                 _ => {
-                    return (skeleton.core.clause_clause_locs.back().cloned().unwrap(), bp);
+                    return (
+                        skeleton.core.clause_clause_locs.back().cloned().unwrap(),
+                        bp,
+                    );
                 }
             }
         }