use config_option.ML after sign.ML;

--- a/src/Pure/ROOT.ML	Sat Jul 28 21:09:14 2007 +0200
+++ b/src/Pure/ROOT.ML	Sat Jul 28 22:00:58 2007 +0200
@@ -41,7 +41,6 @@
 use "Syntax/printer.ML";
 use "Syntax/syntax.ML";
 
-use "config_option.ML";
 use "General/ml_syntax.ML";
 
 (*core of tactical proof system*)
@@ -49,6 +48,7 @@
 use "logic.ML";
 use "consts.ML";
 use "sign.ML";
+use "config_option.ML";
 use "pattern.ML";
 use "unify.ML";
 use "net.ML";