1.1 --- a/src/Pure/context.ML	Mon May 31 19:36:13 2010 +0200
     1.2 +++ b/src/Pure/context.ML	Mon May 31 21:06:57 2010 +0200
     1.3 @@ -325,7 +325,7 @@
     1.4  local
     1.5    val lock = Mutex.mutex ();
     1.6  in
     1.7 -  fun SYNCHRONIZED e = SimpleThread.synchronized "theory" lock e;
     1.8 +  fun SYNCHRONIZED e = Simple_Thread.synchronized "theory" lock e;
     1.9  end;
    1.10  
    1.11  fun create_thy self draft ids data ancestry history =