# HG changeset patch
# User wenzelm
# Date 1630410871 -7200
# Node ID 8798edfc61efb4453c28fc3553dd5f617319306e
# Parent  736374547a7f4b50f0abe073129717721da91f0d
tuned;

diff -r 736374547a7f -r 8798edfc61ef 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