From 8e652500d8b5cbe6ca0337788d8ae1a5d8497649 Mon Sep 17 00:00:00 2001
From: Nicolas Abril <nicolas.abril@protonmail.ch>
Date: Fri, 31 May 2024 21:04:50 +0200
Subject: [PATCH] Run cargo fmt

---
 src/lib.rs            | 6 +-----
 tests/golden_tests.rs | 3 ++-
 2 files changed, 3 insertions(+), 6 deletions(-)

diff --git a/src/lib.rs b/src/lib.rs
index 2411999a..a9fd54d9 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -288,11 +288,7 @@ pub struct RunOpts {
 
 impl Default for RunOpts {
   fn default() -> Self {
-      RunOpts {
-        linear_readback: false,
-        pretty: false,
-        hvm_path: "hvm".to_string()
-      }
+    RunOpts { linear_readback: false, pretty: false, hvm_path: "hvm".to_string() }
   }
 }
 
diff --git a/tests/golden_tests.rs b/tests/golden_tests.rs
index 18a8b61b..d214277d 100644
--- a/tests/golden_tests.rs
+++ b/tests/golden_tests.rs
@@ -175,7 +175,8 @@ fn run_file() {
 
       for adt_encoding in [AdtEncoding::NumScott, AdtEncoding::Scott] {
         let compile_opts = CompileOpts { adt_encoding, ..CompileOpts::default() };
-        let (term, _, diags) = run_book_simple(book.clone(), run_opts.clone(), compile_opts, diagnostics_cfg, None)?;
+        let (term, _, diags) =
+          run_book_simple(book.clone(), run_opts.clone(), compile_opts, diagnostics_cfg, None)?;
         res.push_str(&format!("{adt_encoding}:\n{diags}{term}\n\n"));
       }
       Ok(res)