# HG changeset patch
# User wenzelm
# Date 882030161 -3600
# Node ID 7d4e2832b791ecb9a992406c2ed4f1daa15773d8
# Parent  9bb6502db2ff1a6904cc5fe2f0a93a9851771948
tuned comment;

diff -r 9bb6502db2ff -r 7d4e2832b791 src/Pure/ML-Systems/smlnj.ML
--- a/src/Pure/ML-Systems/smlnj.ML	Sat Dec 13 17:22:15 1997 +0100
+++ b/src/Pure/ML-Systems/smlnj.ML	Sat Dec 13 17:22:41 1997 +0100
@@ -3,7 +3,7 @@
     Author:     Carsten Clasohm and Markus Wenzel, TU Muenchen
 
 Compatibility file for Standard ML of New Jersey versions 109.27 to
-109.33, 110 or later.
+109.33, and 110 or later.
 *)
 
 (** ML system related **)