--- a/src/Pure/ROOT Sat Apr 02 17:11:27 2016 +0200
+++ b/src/Pure/ROOT Sat Apr 02 20:23:51 2016 +0200
@@ -101,6 +101,8 @@
"ML/ml_antiquotation.ML"
"ML/ml_compiler.ML"
"ML/ml_compiler0.ML"
+ "ML/ml_compiler1.ML"
+ "ML/ml_compiler2.ML"
"ML/ml_context.ML"
"ML/ml_debugger.ML"
"ML/ml_env.ML"