src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Fri Jul 27 20:11:49 2007 +0200
+++ b/src/Pure/ROOT.ML	Fri Jul 27 21:55:17 2007 +0200
@@ -41,7 +41,7 @@
 use "Syntax/printer.ML";
 use "Syntax/syntax.ML";
 
-use "config.ML";
+use "config_option.ML";
 use "General/ml_syntax.ML";
 
 (*core of tactical proof system*)