From 9216e4fa86849f7b12115153518fc0af1f5d61b6 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Mon, 7 Apr 2025 11:51:48 -0700
Subject: [PATCH] chore: Format code

---
 Pantograph/Environment.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Pantograph/Environment.lean b/Pantograph/Environment.lean
index 21d7b37..3907105 100644
--- a/Pantograph/Environment.lean
+++ b/Pantograph/Environment.lean
@@ -180,7 +180,7 @@ def addDecl (name: String) (levels: Array String := #[]) (type?: Option String)
     Lean.Declaration.thmDecl <| Lean.mkTheoremValEx
       (name := name.toName)
       (levelParams := levelParams)
-      (type := type )
+      (type := type)
       (value := value)
       (all := [])
   else