style: formatting

leanprover · Jan 21, 2025 · 6593c72 · 6593c72
1 parent fb9feb1
commit 6593c72
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Structures.lean b/src/Lean/Elab/Tactic/BVDecide/Frontend/Normalize/Structures.lean
@@ -52,7 +52,7 @@ end M
 partial def structuresPass : Pass where
   name := `structures
   run' goal := do
-    let (_, { interesting, ..} ) ← checkContext goal |>.run {}
+    let (_, { interesting, .. }) ← checkContext goal |>.run {}
 
     let goals ← goal.casesRec fun decl => do
       if decl.isLet || decl.isImplementationDetail then