Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/thy_info.ML
changeset 26415 1b624d6e9163
parent 25994 d35484265f46
child 26425 6561665c5cb1 
--- a/src/Pure/Thy/thy_info.ML	Wed Mar 26 22:40:05 2008 +0100
+++ b/src/Pure/Thy/thy_info.ML	Wed Mar 26 22:40:07 2008 +0100
@@ -278,7 +278,7 @@
   | provide _ _ _ NONE = NONE;
 
 fun run_file path =
-  (case Option.map (Context.theory_name o Context.the_theory) (ML_Context.get_context ()) of
+  (case Option.map (Context.theory_name o Context.the_theory) (Context.thread_data ()) of
     NONE => (ThyLoad.load_ml Path.current path; ())
   | SOME name =>
       (case lookup_deps name of
isabelle