Comply with linter

SophieBosio · May 11, 2024 · 9e76753 · 9e76753
1 parent 5278e42
commit 9e76753
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/Validation/SymUnifier.hs b/src/Validation/SymUnifier.hs
@@ -13,7 +13,6 @@
   us to "unify" them - e.g., in Case-statements, Let-Statements and Lambdas.
 
 -}
-{-# LANGUAGE LambdaCase #-}
 
 module Validation.SymUnifier where