src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Thu Aug 01 22:20:07 2013 +0200
+++ b/src/Pure/ROOT.ML	Thu Aug 01 22:47:52 2013 +0200
@@ -183,6 +183,7 @@
 use "Isar/runtime.ML";
 use "ML/ml_compiler.ML";
 if ML_System.is_polyml then use "ML/ml_compiler_polyml.ML" else ();
+if ML_System.name = "polyml-5.5.1" then use "ML/exn_trace_polyml-5.5.1.ML" else ();
 
 use "skip_proof.ML";
 use "goal.ML";