# HG changeset patch
# User wenzelm
# Date 1629905260 -7200
# Node ID 30e2e44baa572523489c417599004d2cae8baa2f
# Parent  ffe24c7da1c6f4c5af33d8961b21a2ae60462828
tuned;

diff -r ffe24c7da1c6 -r 30e2e44baa57 src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Wed Aug 25 17:24:45 2021 +0200
+++ b/src/Tools/Haskell/Haskell.thy	Wed Aug 25 17:27:40 2021 +0200
@@ -2162,7 +2162,7 @@
 
 {- context for used names -}
 
-data Context = Context (Set Name)
+newtype Context = Context (Set Name)
 
 declare :: Name -> Context -> Context
 declare x (Context names) = Context (Set.insert x names)