src/Pure/Thy/ROOT.ML
changeset 4115 9405ebe284bf
parent 4055 69892b85f800
child 4214 523f6bea9fd7
--- 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";