src/Pure/ML-Systems/polyml_common.ML
changeset 31308 3fd52453ae81
parent 30672 beaadd5af500
child 31319 6974449ddea9
--- a/src/Pure/ML-Systems/polyml_common.ML	Sat May 30 22:37:38 2009 +0200
+++ b/src/Pure/ML-Systems/polyml_common.ML	Sun May 31 14:15:07 2009 +0200
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ML-Systems/polyml_common.ML
 
-Compatibility file for Poly/ML -- common part for 4.x and 5.x.
+Compatibility file for Poly/ML -- common part for 5.x.
 *)
 
 exception Interrupt = SML90.Interrupt;