src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sun Oct 14 20:07:11 2001 +0200
+++ b/src/Pure/ROOT.ML	Sun Oct 14 20:07:32 2001 +0200
@@ -49,6 +49,7 @@
 use "search.ML";
 use "tactic.ML";
 use "goals.ML";
+use "object_logic.ML";
 
 (*proof term operations*)
 cd "Proof";