Fix indent

corona10 · Aug 18, 2023 · 7f9e68b · 7f9e68b
1 parent dcb3ada
commit 7f9e68b
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/Tools/cases_generator/generate_cases.py b/Tools/cases_generator/generate_cases.py
@@ -182,12 +182,12 @@ def effect_str(effects: list[StackEffect]) -> str:
                     assert target_instr
                     target_popped = effect_str(target_instr.input_effects)
                     target_pushed = effect_str(target_instr.output_effects)
-                if pushed is None:
-                    assert popped is None
-                    popped, pushed = target_popped, target_pushed
-                else:
-                    assert popped == target_popped
-                    assert pushed == target_pushed
+                    if pushed is None:
+                        assert popped is None
+                        popped, pushed = target_popped, target_pushed
+                    else:
+                        assert popped == target_popped
+                        assert pushed == target_pushed
             case _:
                 typing.assert_never(thing)
         return instr, popped, pushed