src/Pure/General/linear_set.ML

--- a/src/Pure/General/linear_set.ML	Thu May 24 15:01:17 2012 +0200
+++ b/src/Pure/General/linear_set.ML	Thu May 24 15:33:45 2012 +0200
@@ -133,7 +133,7 @@
           in (start, entries') end)));
 
 
-(* ML pretty-printing -- requires Poly/ML 5.3.0 or later *)
+(* ML pretty-printing *)
 
 val _ =
   PolyML.addPrettyPrinter (fn depth => fn pretty => fn set =>