hlint

runtimeverification · Aug 16, 2024 · e1539b4 · e1539b4
1 parent 9e4a8d2
commit e1539b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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