src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Nov 02 14:46:53 2005 +0100
+++ b/src/Pure/ROOT.ML	Wed Nov 02 14:46:54 2005 +0100
@@ -32,6 +32,7 @@
 
 (*core of tactical proof system*)
 use "type_infer.ML";
+use "consts.ML";
 use "sign.ML";
 use "envir.ML";
 use "pattern.ML";