1.1 --- a/src/Pure/library.ML	Tue Dec 18 22:18:31 2007 +0100
     1.2 +++ b/src/Pure/library.ML	Tue Dec 18 22:21:40 2007 +0100
     1.3 @@ -1081,9 +1081,7 @@
     1.4  val stamp: unit -> stamp = ref;
     1.5  
     1.6  type serial = int;
     1.7 -local val count = ref (0: int)
     1.8 -in fun serial () = NAMED_CRITICAL "serial" (fn () => inc count) end;
     1.9 -
    1.10 +val serial = Multithreading.serial;
    1.11  val serial_string = string_of_int o serial;
    1.12  
    1.13