From e7edca1bc2a3ab0bafc527d7137cbbf376513b45 Mon Sep 17 00:00:00 2001
From: imaqtkatt <eduarda.so@proton.me>
Date: Thu, 29 Feb 2024 15:56:42 -0300
Subject: [PATCH] Adjusts formatting

---
 src/diagnostics.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/diagnostics.rs b/src/diagnostics.rs
index 30cef9503..2387bd98f 100644
--- a/src/diagnostics.rs
+++ b/src/diagnostics.rs
@@ -5,7 +5,8 @@ use crate::term::{
   },
   display::DisplayFn,
   transform::{
-    apply_args::ArgError, encode_pattern_matching::MatchErr, resolve_refs::ReferencedMainErr, simplify_ref_to_ref::CyclicDefErr
+    apply_args::ArgError, encode_pattern_matching::MatchErr, resolve_refs::ReferencedMainErr,
+    simplify_ref_to_ref::CyclicDefErr,
   },
   Name,
 };