src/Pure/ML/ml_lex.ML

--- a/src/Pure/ML/ml_lex.ML	Fri Oct 31 22:02:49 2014 +0100
+++ b/src/Pure/ML/ml_lex.ML	Fri Oct 31 22:09:18 2014 +0100
@@ -73,7 +73,7 @@
 fun end_pos_of (Token ((_, pos), _)) = pos;
 
 
-(* control tokens *)
+(* stopper *)
 
 fun mk_eof pos = Token ((pos, Position.none), (EOF, ""));
 val eof = mk_eof Position.none;