Comply with linter

SophieBosio · May 11, 2024 · d557d16 · d557d16
1 parent 9e76753
commit d557d16
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Validation/Formula.hs b/src/Validation/Formula.hs
@@ -126,7 +126,7 @@ sEqual (SCtr adt x xs) (SCtr adt' y ys) =
          fromBool (adt == adt')
        : fromBool (x   == y   )
        : map truthy eqs
-sEqual (SADT x adt si xs) (SADT y adt' sj ys) =
+sEqual (SADT _ adt si xs) (SADT _ adt' sj ys) =
   do eqs <- zipWithM sEqual xs ys
      return $ SBoolean $ sAnd $
          fromBool (adt == adt')