format

lean-dojo · Mar 6, 2024 · 5211561 · 5211561
1 parent b06c46a
commit 5211561
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/tests/interaction/test_tactics.py b/tests/interaction/test_tactics.py
@@ -308,7 +308,9 @@ def test_example_eq(mathlib4_repo: LeanGitRepo) -> None:
         assert dojo.is_successful
 
 
-def test_example_nonempty_iInter_of_nonempty_biInter(mathlib4_repo: LeanGitRepo) -> None:
+def test_example_nonempty_iInter_of_nonempty_biInter(
+    mathlib4_repo: LeanGitRepo,
+) -> None:
     thm = Theorem(
         mathlib4_repo,
         "Mathlib/Topology/MetricSpace/Bounded.lean",