src/Pure/ROOT.ML
changeset 24007 8f40e6fdb376
parent 23986 c656557b73d5
child 24027 a1afcff544a6
     1.1 --- a/src/Pure/ROOT.ML	Fri Jul 27 20:11:49 2007 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Fri Jul 27 21:55:17 2007 +0200
     1.3 @@ -41,7 +41,7 @@
     1.4  use "Syntax/printer.ML";
     1.5  use "Syntax/syntax.ML";
     1.6  
     1.7 -use "config.ML";
     1.8 +use "config_option.ML";
     1.9  use "General/ml_syntax.ML";
    1.10  
    1.11  (*core of tactical proof system*)