changeset 37216 | 3165bc303f66 |
parent 36610 | bafd82950e24 |
child 37852 | a902f158b4fc |
--- a/src/Pure/context.ML Mon May 31 19:36:13 2010 +0200 +++ b/src/Pure/context.ML Mon May 31 21:06:57 2010 +0200 @@ -325,7 +325,7 @@ local val lock = Mutex.mutex (); in - fun SYNCHRONIZED e = SimpleThread.synchronized "theory" lock e; + fun SYNCHRONIZED e = Simple_Thread.synchronized "theory" lock e; end; fun create_thy self draft ids data ancestry history =