# HG changeset patch # User wenzelm # Date 1644518292 -3600 # Node ID f8008b40b8a0aef9683d9758cdf8c5879b4a1ea4 # Parent 5299272be4c361af59ed7126fbbad42fd493cebe unused; diff -r 5299272be4c3 -r f8008b40b8a0 src/Tools/Haskell/Haskell.thy --- a/src/Tools/Haskell/Haskell.thy Thu Feb 10 19:31:07 2022 +0100 +++ b/src/Tools/Haskell/Haskell.thy Thu Feb 10 19:38:12 2022 +0100 @@ -3863,7 +3863,6 @@ where import Prelude hiding (init) -import Control.Exception (evaluate) import Data.IORef import Data.Map.Strict (Map) import qualified Data.Map.Strict as Map