src/Pure/Thy/thy_info.ML
changeset 26415 1b624d6e9163
parent 25994 d35484265f46
child 26425 6561665c5cb1
     1.1 --- a/src/Pure/Thy/thy_info.ML	Wed Mar 26 22:40:05 2008 +0100
     1.2 +++ b/src/Pure/Thy/thy_info.ML	Wed Mar 26 22:40:07 2008 +0100
     1.3 @@ -278,7 +278,7 @@
     1.4    | provide _ _ _ NONE = NONE;
     1.5  
     1.6  fun run_file path =
     1.7 -  (case Option.map (Context.theory_name o Context.the_theory) (ML_Context.get_context ()) of
     1.8 +  (case Option.map (Context.theory_name o Context.the_theory) (Context.thread_data ()) of
     1.9      NONE => (ThyLoad.load_ml Path.current path; ())
    1.10    | SOME name =>
    1.11        (case lookup_deps name of