diff --git a/src/Validation/SymUnifier.hs b/src/Validation/SymUnifier.hs
index daba444..948afcd 100644
--- 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