src/Pure/ROOT.ML
changeset 62516 5732f1c31566
parent 62508 d0b68218ea55
child 62519 a564458f94db
     1.1 --- a/src/Pure/ROOT.ML	Sat Mar 05 13:25:41 2016 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Sat Mar 05 13:51:21 2016 +0100
     1.3 @@ -276,7 +276,6 @@
     1.4  use "ML/ml_syntax.ML";
     1.5  use "ML/ml_env.ML";
     1.6  use "ML/ml_options.ML";
     1.7 -use "ML/exn_output.ML";
     1.8  use_no_debug "ML/exn_debugger.ML";
     1.9  use "ML/ml_options.ML";
    1.10  use_no_debug "Isar/runtime.ML";