# HG changeset patch
# User wenzelm
# Date 967636493 -7200
# Node ID 2e1dca5af2d4f674deb68baac7d228fd41ea17cf
# Parent  7aae235675dc1abaf9fd45c85f99a57f7b323c77
fixed comment;

diff -r 7aae235675dc -r 2e1dca5af2d4 src/Pure/ML-Systems/polyml-4.0.ML
--- a/src/Pure/ML-Systems/polyml-4.0.ML	Wed Aug 30 13:22:10 2000 +0200
+++ b/src/Pure/ML-Systems/polyml-4.0.ML	Wed Aug 30 13:54:53 2000 +0200
@@ -3,7 +3,7 @@
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1991  University of Cambridge
 
-Compatibility file for Poly/ML (versions 2.x and 3.x).
+Compatibility file for Poly/ML (version 4.0).
 *)
 
 (** ML system related **)