src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Thu Jun 15 23:08:54 2006 +0200
+++ b/src/Pure/ROOT.ML	Thu Jun 15 23:08:56 2006 +0200
@@ -47,6 +47,7 @@
 use "pure_thy.ML";
 use "display.ML";
 use "drule.ML";
+use "variable.ML";
 use "tctical.ML";
 use "search.ML";
 use "meta_simplifier.ML";