src/Pure/Thy/thy_load.ML

--- a/src/Pure/Thy/thy_load.ML	Wed May 12 16:52:28 1999 +0200
+++ b/src/Pure/Thy/thy_load.ML	Wed May 12 16:54:31 1999 +0200
@@ -75,7 +75,7 @@
 fun load_file raw_path =
   (case check_file raw_path of
     None => error ("Could not find ML file " ^ quote (Path.pack raw_path))
-  | Some (path, info) => (Symbol.use path; (path, info)));
+  | Some (path, info) => (File.symbol_use path; (path, info)));
 
 
 (* check_thy *)