| changeset 62918 | 2fcbd4abc021 |
| parent 62889 | 99c7f31615c2 |
| child 63304 | 00a135c0a17f |
--- a/src/Pure/library.ML Fri Apr 08 22:48:25 2016 +0200 +++ b/src/Pure/library.ML Sat Apr 09 11:21:38 2016 +0200 @@ -986,7 +986,7 @@ (* serial numbers and abstract stamps *) type serial = int; -val serial = Multithreading.serial; +val serial = Counter.make (); val serial_string = string_of_int o serial; datatype stamp = Stamp of serial;