--- a/src/Pure/ML-Systems/polyml.ML Thu Jul 31 21:29:31 2014 +0200
+++ b/src/Pure/ML-Systems/polyml.ML Thu Jul 31 22:02:21 2014 +0200
@@ -174,5 +174,5 @@
("PolyML.addPrettyPrinter (fn _ => fn _ => ml_pretty o Pretty.to_ML o (" ^ pp ^ "))");
val ml_make_string =
- "(fn x => Pretty.string_of (Pretty.from_ML (pretty_ml (PolyML.prettyRepresentation (x, Isabelle.ML_print_depth)))))";
+ "(fn x => Pretty.string_of (Pretty.from_ML (pretty_ml (PolyML.prettyRepresentation (x, Isabelle.ML_print_depth ())))))";