Delete an unused extension

ndmitchell · Jul 10, 2022 · 53a6865 · 53a6865
1 parent d919f18
commit 53a6865
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/Config/Type.hs b/src/Config/Type.hs
@@ -2,7 +2,6 @@
 {-# LANGUAGE DerivingVia #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE DeriveDataTypeable #-}
-{-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE RecordWildCards #-}
 {-# LANGUAGE OverloadedStrings #-}