From e1539b48545303301964474556fc7ff5421f8b5e Mon Sep 17 00:00:00 2001
From: Sam Balco <goodlyrottenapple@gmail.com>
Date: Fri, 16 Aug 2024 11:45:34 +0100
Subject: [PATCH] hlint

---
 booster/library/Booster/Syntax/Json/Internalise.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/booster/library/Booster/Syntax/Json/Internalise.hs b/booster/library/Booster/Syntax/Json/Internalise.hs
index 5c375bb535..e5db8e344f 100644
--- a/booster/library/Booster/Syntax/Json/Internalise.hs
+++ b/booster/library/Booster/Syntax/Json/Internalise.hs
@@ -218,7 +218,7 @@ internalisePatternOrTopOrBottom allowAlias checkSubsorts sortVars definition exi
                 (term, preds, ceilConditions, subst, unknown) <-
                     internalisePattern allowAlias checkSubsorts sortVars definition p
                 pure $
-                    IsPattern $
+                    IsPattern
                         ( existentialVars
                         , Internal.Pattern{term, constraints = Set.fromList preds, ceilConditions}
                         , subst