# HG changeset patch # User wenzelm # Date 1628251967 -7200 # Node ID b701251205d224e7acd2fe4312736aa9d7bb12e4 # Parent 9f18eb2a80398684765c8e46b23cbcf8022e391f unused; diff -r 9f18eb2a8039 -r b701251205d2 src/Tools/Haskell/Haskell.thy --- a/src/Tools/Haskell/Haskell.thy Fri Aug 06 13:18:04 2021 +0200 +++ b/src/Tools/Haskell/Haskell.thy Fri Aug 06 14:12:47 2021 +0200 @@ -244,7 +244,6 @@ import qualified Data.Text as Text import Data.Text (Text) import qualified Data.Text.Lazy as Lazy -import GHC.Exts (IsList, Item) import Data.String (IsString) import qualified Data.List.Split as Split import qualified Isabelle.Symbol as Symbol