src/Pure/General/ROOT.ML
changeset 20594 b80c4a5cd018
parent 18387 90b2b2fd3fdf
child 20924 fa4930418e5a
--- a/src/Pure/General/ROOT.ML	Tue Sep 19 15:21:52 2006 +0200
+++ b/src/Pure/General/ROOT.ML	Tue Sep 19 15:21:55 2006 +0200
@@ -17,6 +17,7 @@
 use "name_space.ML";
 use "name_mangler.ML";
 use "seq.ML";
+use "susp.ML";
 use "rat.ML";
 use "position.ML";
 use "path.ML";