1.1 --- a/src/Pure/Thy/thy_load.ML	Thu Mar 27 21:49:10 2008 +0100
     1.2 +++ b/src/Pure/Thy/thy_load.ML	Fri Mar 28 00:02:54 2008 +0100
     1.3 @@ -119,7 +119,7 @@
     1.4  fun load_ml dir raw_path =
     1.5    (case check_ml dir raw_path of
     1.6      NONE => error ("Could not find ML file " ^ quote (Path.implode raw_path))
     1.7 -  | SOME (path, id) => (ML_Context.use path; (path, id)));
     1.8 +  | SOME (path, id) => (ML_Context.eval_file path; (path, id)));
     1.9  
    1.10  (*dependent on outer syntax*)
    1.11  val load_thy_fn =