Please hlint

ucsd-progsys · Nov 15, 2024 · fa91d97 · fa91d97
1 parent 3dc5091
commit fa91d97
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Specs.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Specs.hs
@@ -1,4 +1,3 @@
-{-# LANGUAGE DeriveAnyClass #-}
 -- | This module contains the top-level structures that hold
 --   information about specifications.