src/Pure/Isar/runtime.ML

--- a/src/Pure/Isar/runtime.ML	Sat Apr 02 20:33:34 2016 +0200
+++ b/src/Pure/Isar/runtime.ML	Sat Apr 02 21:10:07 2016 +0200
@@ -43,7 +43,7 @@
 fun pretty_exn (exn: exn) =
   Pretty.from_ML
     (ML_Pretty.from_polyml
-      (PolyML.prettyRepresentation (exn, FixedInt.fromInt (ML_Options.get_print_depth ()))));
+      (ML_system_pretty (exn, FixedInt.fromInt (ML_Options.get_print_depth ()))));
 
 
 (* exn_context *)