tuned;
authorwenzelm
Tue, 31 Aug 2021 13:54:31 +0200
changeset 74497 8798edfc61ef
parent 74496 736374547a7f
child 74498 527088d4a89b
child 74500 1d25be2353e1
child 74558 59ec97f1665c
tuned;
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