diff -r 0607869c2ff3 -r 020becec359c src/Pure/ML-Systems/maximum_ml_stack_polyml-5.5.3.ML
--- a/src/Pure/ML-Systems/maximum_ml_stack_polyml-5.5.3.ML	Wed Aug 12 13:56:46 2015 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-(*  Title:      Pure/ML-Systems/maximum_ml_stack_polyml-5.5.3.ML
-
-Maximum stack size (in words) for ML threads -- Poly/ML 5.5.3, or later.
-*)
-
-fun maximum_ml_stack limit = [Thread.MaximumMLStack limit];
-