Format with fourmolu

runtimeverification · Oct 17, 2024 · 534414c · 534414c
1 parent 0702ce2
commit 534414c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/booster/unit-tests/Test/Booster/Pattern/Substitution.hs b/booster/unit-tests/Test/Booster/Pattern/Substitution.hs
@@ -45,7 +45,7 @@ test_subst =
                 "compose is transitive and saturating"
                 $ (("X" |-> [trm| Z:SomeSort{} |]) `compose` ("Y" |-> [trm| X:SomeSort{} |]))
                     @?= ("X" |-> [trm| Z:SomeSort{} |])
-                    <> ("Y" |-> [trm| Z:SomeSort{} |])
+                        <> ("Y" |-> [trm| Z:SomeSort{} |])
             ]
         ]