src/Tools/Haskell/Haskell.thy

--- a/src/Tools/Haskell/Haskell.thy	Mon Aug 30 21:45:05 2021 +0200
+++ b/src/Tools/Haskell/Haskell.thy	Tue Aug 31 13:54:31 2021 +0200
@@ -3297,7 +3297,7 @@
 import Isabelle.Library
 
 
-data Time = Time Int
+newtype Time = Time Int
 
 instance Eq Time where Time ms1 == Time ms2 = ms1 == ms2
 instance Ord Time where compare (Time ms1) (Time ms2) = compare ms1 ms2