src/Pure/Concurrent/single_assignment.ML

   var = SingleAssignment.saref ()};
 
 fun peek (Var {var, ...}) = SingleAssignment.savalue var;
 
 fun await (v as Var {name, lock, cond, var}) =
-  SimpleThread.synchronized name lock (fn () =>
+  Simple_Thread.synchronized name lock (fn () =>
     let
       fun wait () =
         (case peek v of
           NONE =>
             (case Multithreading.sync_wait NONE NONE cond lock of

             | Exn.Exn exn => reraise exn)
         | SOME x => x);
     in wait () end);
 
 fun assign (v as Var {name, lock, cond, var}) x =
-  SimpleThread.synchronized name lock (fn () =>
+  Simple_Thread.synchronized name lock (fn () =>
     (case peek v of
       SOME _ => raise Fail ("Duplicate assignment to variable " ^ quote name)
     | NONE =>
         uninterruptible (fn _ => fn () =>
          (SingleAssignment.saset (var, x); ConditionVar.broadcast cond)) ()));