# HG changeset patch
# User wenzelm
# Date 1198012900 -3600
# Node ID a61554b1e7a953a37ce465a3cdf221bb98d630dc
# Parent  73fbe868b4e71c228ef9741b1fc3770e3e5039ec
serial: now based on specific version in structure Multithreading;

diff -r 73fbe868b4e7 -r a61554b1e7a9 src/Pure/library.ML
--- a/src/Pure/library.ML	Tue Dec 18 22:18:31 2007 +0100
+++ b/src/Pure/library.ML	Tue Dec 18 22:21:40 2007 +0100
@@ -1081,9 +1081,7 @@
 val stamp: unit -> stamp = ref;
 
 type serial = int;
-local val count = ref (0: int)
-in fun serial () = NAMED_CRITICAL "serial" (fn () => inc count) end;
-
+val serial = Multithreading.serial;
 val serial_string = string_of_int o serial;