src/Pure/General/ROOT.ML

--- a/src/Pure/General/ROOT.ML	Tue Jun 16 18:37:11 1998 +0200
+++ b/src/Pure/General/ROOT.ML	Tue Jun 16 18:37:34 1998 +0200
@@ -11,3 +11,4 @@
 use "position.ML";
 use "path.ML";
 use "file.ML";
+use "history.ML";