src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sat Apr 09 20:18:15 2016 +0200
+++ b/src/Pure/ROOT.ML	Sat Apr 09 20:31:46 2016 +0200
@@ -21,7 +21,6 @@
 ML_file "ML/ml_print_depth0.ML";
 ML_file "ML/ml_pretty.ML";
 ML_file "ML/ml_compiler0.ML";
-ML_file_no_debug "ML/ml_debugger.ML";
 
 
 section "Bootstrap phase 1: towards ML within position context";