remove redundant brackets

conjure-cp · Jun 7, 2016 · 096242a · 096242a
1 parent 4e3ab03
commit 096242a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Conjure/Rules/Horizontal/Set.hs b/src/Conjure/Rules/Horizontal/Set.hs
@@ -72,7 +72,7 @@ rule_SubsetEq = "set-subsetEq" `namedRule` theRule where
             ( "Horizontal rule for set subsetEq"
             , do
                  (iPat, i) <- quantifiedVar
-                 return [essence| forAll &iPat in (&x) . &i in &y |]
+                 return [essence| forAll &iPat in &x . &i in &y |]
             )