src/Pure/Isar/toplevel.ML
changeset 37216 3165bc303f66
parent 37208 e8b1c3a0562c
child 37687 e07dacec79e7
     1.1 --- a/src/Pure/Isar/toplevel.ML	Mon May 31 19:36:13 2010 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Mon May 31 21:06:57 2010 +0200
     1.3 @@ -238,7 +238,7 @@
     1.4          |> Runtime.debugging
     1.5          |> Runtime.toplevel_error
     1.6            (fn exn => priority ("## INTERNAL ERROR ##\n" ^ ML_Compiler.exn_message exn))),
     1.7 -      SimpleThread.attributes interrupts);
     1.8 +      Simple_Thread.attributes interrupts);
     1.9  
    1.10  
    1.11  (* node transactions -- maintaining stable checkpoints *)
    1.12 @@ -638,7 +638,7 @@
    1.13  fun run_command thy_name tr st =
    1.14    (case
    1.15        (case init_of tr of
    1.16 -        SOME name => Exn.capture (fn () => ThyLoad.check_name thy_name name) ()
    1.17 +        SOME name => Exn.capture (fn () => Thy_Load.check_name thy_name name) ()
    1.18        | NONE => Exn.Result ()) of
    1.19      Exn.Result () =>
    1.20        (case transition true tr st of