diff -r 8d80c1a3b546 -r 9405ebe284bf src/Pure/Thy/ROOT.ML
--- a/src/Pure/Thy/ROOT.ML	Tue Nov 04 12:44:17 1997 +0100
+++ b/src/Pure/Thy/ROOT.ML	Tue Nov 04 12:46:50 1997 +0100
@@ -6,6 +6,8 @@
 This file builds the theory parser and autoloading system.
 *)
 
+use "path.ML";
+
 use "thy_scan.ML";
 use "thy_parse.ML";
 use "thy_syn.ML";