src/Pure/ROOT

--- a/src/Pure/ROOT	Wed Jan 16 11:31:08 2013 +0100
+++ b/src/Pure/ROOT	Wed Jan 16 16:26:36 2013 +0100
@@ -139,6 +139,8 @@
     "ML/ml_compiler_polyml.ML"
     "ML/ml_context.ML"
     "ML/ml_env.ML"
+    "ML/exn_properties_dummy.ML"
+    "ML/exn_properties_polyml.ML"
     "ML/ml_lex.ML"
     "ML/ml_parse.ML"
     "ML/ml_statistics_dummy.ML"