src/HOL/Random.thy
changeset 32740 9dd0a2f83429
parent 31636 138625ae4067
child 33236 ea75c6ea643e
     1.1 --- a/src/HOL/Random.thy	Tue Sep 29 14:59:24 2009 +0200
     1.2 +++ b/src/HOL/Random.thy	Tue Sep 29 16:24:36 2009 +0200
     1.3 @@ -154,7 +154,7 @@
     1.4  
     1.5  local
     1.6  
     1.7 -val seed = ref 
     1.8 +val seed = Unsynchronized.ref 
     1.9    (let
    1.10      val now = Time.toMilliseconds (Time.now ());
    1.11      val (q, s1) = IntInf.divMod (now, 2147483562);