src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Thu Mar 17 13:44:18 2016 +0100
+++ b/src/Pure/ROOT.ML	Thu Mar 17 16:56:44 2016 +0100
@@ -69,10 +69,6 @@
 PolyML.Compiler.printInAlphabeticalOrder := false;
 PolyML.Compiler.maxInlineSize := 80;
 
-fun ml_make_string struct_name =
-  "(fn x => Pretty.string_of (Pretty.from_ML (ML_Pretty.from_polyml (PolyML.prettyRepresentation (x, FixedInt.fromInt (" ^
-    struct_name ^ ".ML_print_depth ()))))))";
-
 
 (* ML debugger *)