--- a/src/Pure/RAW/ROOT_polyml.ML Sun Feb 28 21:20:51 2016 +0100
+++ b/src/Pure/RAW/ROOT_polyml.ML Sun Feb 28 21:25:55 2016 +0100
@@ -61,7 +61,7 @@
if ML_System.name = "polyml-5.6"
then use "RAW/exn_trace.ML"
-else use "RAW/exn_trace_dummy.ML";
+else use "RAW/exn_trace_raw.ML";
(* multithreading *)