Remove redundant parentheses (#2562)

ttuegel · web-flow · commit 29126d9ee10f · 2021-04-20T13:43:29.000-05:00
diff --git a/kore/src/Kore/Internal/NormalizedAc.hs b/kore/src/Kore/Internal/NormalizedAc.hs
@@ -548,7 +548,7 @@ data PairWiseElements normalized key child = PairWiseElements
     , concretePairs ::
         !(HashSet (AcPair (ConcreteElement key normalized child)))
     , opaquePairs ::
-        !((HashSet (AcPair child)))
+        !(HashSet (AcPair child))
     , symbolicConcretePairs ::
         !(HashSet (Element normalized child, ConcreteElement key normalized child))
     , symbolicOpaquePairs ::
