# HG changeset patch
# User wenzelm
# Date 1643619710 -3600
# Node ID eaf22c0e9ddf5ddec4e68d45327d0d16800d4412
# Parent  0778d233964dea6d2c28a610002260d7cd74e82d
tuned -- fewer warnings;

diff -r 0778d233964d -r eaf22c0e9ddf src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Sat Jan 29 15:24:05 2022 +0000
+++ b/src/Tools/Haskell/Haskell.thy	Mon Jan 31 10:01:50 2022 +0100
@@ -3662,7 +3662,7 @@
   _typ :: Bytes,
   _value :: Bytes }
 
-data T = Options (Map Bytes Opt)
+newtype T = Options (Map Bytes Opt)
 
 
 {- check -}