oops

ms-jpq · Apr 18, 2024 · 9a99e6f · 9a99e6f
1 parent aeb350d
commit 9a99e6f
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 11 deletions.
diff --git a/.github/.agp b/.github/.agp
diff --git a/.github/_ b/.github/_
diff --git a/coq/shared/trans.py b/coq/shared/trans.py
@@ -167,7 +167,7 @@ def _indent_to_line(context: Context, line_before: str) -> str:
     spaces_before = line_before.replace("\t", spaces)
     indent_len = len(spaces_before)
     if context.expandtab:
-        indent = spaces_before
+        indent = " " * indent_len
     else:
         tab_len = indent_len // context.tabstop
         space_len = indent_len % context.tabstop

diff --git a/tests/clients/paths/worker.py b/tests/clients/paths/worker.py
@@ -125,7 +125,7 @@ def test_2(self) -> None:
         )
         expected = sorted(
             (
-                (Path(".github", ".agp"), False, "./.github/.agp"),
+                (Path(".github", "_"), False, "./.github/_"),
                 (Path(".github", "workflows"), True, "./.github/workflows/"),
             )
         )
@@ -144,7 +144,7 @@ def test_3(self) -> None:
         )
         expected = sorted(
             (
-                (Path(".github", ".agp"), False, "./.github/.agp"),
+                (Path(".github", "_"), False, "./.github/_"),
                 (Path(".github", "workflows"), True, "./.github/workflows/"),
             )
         )
@@ -182,7 +182,7 @@ def test_5(self) -> None:
         )
         expected = sorted(
             (
-                (Path(".github", ".agp"), False, "./.github/.agp"),
+                (Path(".github", "_"), False, "./.github/_"),
                 (Path(".github", "workflows"), True, "./.github/workflows/"),
             )
         )
@@ -201,7 +201,7 @@ def test_6(self) -> None:
         )
         expected = sorted(
             (
-                (Path(".github", ".agp"), False, "./.github/.agp"),
+                (Path(".github", "_"), False, "./.github/_"),
                 (Path(".github", "workflows"), True, "./.github/workflows/"),
             )
         )