From 534414cce553883f7b07b9584734f04ca70ddcae Mon Sep 17 00:00:00 2001 From: github-actions Date: Thu, 17 Oct 2024 14:30:54 +0000 Subject: [PATCH] Format with fourmolu --- booster/unit-tests/Test/Booster/Pattern/Substitution.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/booster/unit-tests/Test/Booster/Pattern/Substitution.hs b/booster/unit-tests/Test/Booster/Pattern/Substitution.hs index 248a10f250..663bdd2a54 100644 --- 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{} |]) ] ]