changeset 28122 | 3d099ce624e7 |
parent 28017 | 4919bd124a58 |
child 29307 | 3a0b38b7fbb4 |
--- a/src/Pure/General/position.ML Thu Sep 04 16:03:43 2008 +0200 +++ b/src/Pure/General/position.ML Thu Sep 04 16:03:44 2008 +0200 @@ -161,7 +161,7 @@ local val tag = Universal.tag () : T Universal.tag in -fun thread_data () = the_default none (Multithreading.get_data tag); +fun thread_data () = the_default none (Thread.getLocal tag); fun setmp_thread_data pos f x = if ! Output.debugging then f x