# 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