src/Pure/ML-Systems/polyml.ML
changeset 53709 84522727f9d3
parent 52837 fe1f6a1707f7
child 54342 fbcaa9f08879
--- a/src/Pure/ML-Systems/polyml.ML	Wed Sep 18 11:36:12 2013 +0200
+++ b/src/Pure/ML-Systems/polyml.ML	Wed Sep 18 13:18:51 2013 +0200
@@ -75,7 +75,7 @@
 
 (* ML runtime system *)
 
-val exception_trace = PolyML.exception_trace;
+fun print_exception_trace (_: exn -> string) = PolyML.exception_trace;
 val timing = PolyML.timing;
 val profiling = PolyML.profiling;