--- a/src/Pure/ROOT Wed Mar 02 10:02:12 2016 +0100
+++ b/src/Pure/ROOT Wed Mar 02 19:43:31 2016 +0100
@@ -157,6 +157,7 @@
"Isar/token.ML"
"Isar/toplevel.ML"
"Isar/typedecl.ML"
+ "ML/exn_debugger.ML"
"ML/exn_output.ML"
"ML/exn_properties.ML"
"ML/install_pp_polyml.ML"