1.1 --- a/src/Pure/ML-Systems/polyml_common.ML	Sat May 30 22:37:38 2009 +0200
     1.2 +++ b/src/Pure/ML-Systems/polyml_common.ML	Sun May 31 14:15:07 2009 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  (*  Title:      Pure/ML-Systems/polyml_common.ML
     1.5  
     1.6 -Compatibility file for Poly/ML -- common part for 4.x and 5.x.
     1.7 +Compatibility file for Poly/ML -- common part for 5.x.
     1.8  *)
     1.9  
    1.10  exception Interrupt = SML90.Interrupt;