diff -r 91dfe7dccfdf -r 3165bc303f66 src/Pure/context.ML
--- 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 =