From ca57fbce86cb11dc9557655c21ae368601c49976 Mon Sep 17 00:00:00 2001
From: Aaron Fenyes <aaron.fenyes@fareycircles.ooo>
Date: Mon, 28 Jul 2025 10:45:56 -0700
Subject: [PATCH] Correct the indentation of an empty line

---
 app-proto/src/engine.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app-proto/src/engine.rs b/app-proto/src/engine.rs
index 8b5d982..9d238a3 100644
--- a/app-proto/src/engine.rs
+++ b/app-proto/src/engine.rs
@@ -403,7 +403,7 @@ pub fn realize_gram(
         );
         return Realization { result, history }
     }
-
+    
     // find the dimension of the search space
     let element_dim = guess.nrows();
     let total_dim = element_dim * assembly_dim;