From c1c7848bca0fbfec6c1165da4a5ad1be776ed874 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Wed, 2 Jul 2025 15:18:02 -0700
Subject: [PATCH] chore: Format code

---
 Tomograph.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Tomograph.lean b/Tomograph.lean
index 26db934..9847d49 100644
--- a/Tomograph.lean
+++ b/Tomograph.lean
@@ -10,7 +10,7 @@ def fail (s : String) : IO UInt32 := do
   IO.eprintln s
   return 2
 
-def dissect (args: List String): IO UInt32 := do
+def dissect (args : List String) : IO UInt32 := do
   let fileName :: _args := args | fail s!"Must supply a file name"
   let file ← IO.FS.readFile fileName
   let (context, state) ← do Frontend.createContextStateFromFile file fileName (env? := .none) {}