src/Pure/Syntax/simple_syntax.ML

--- a/src/Pure/Syntax/simple_syntax.ML	Mon Aug 04 21:24:15 2008 +0200
+++ b/src/Pure/Syntax/simple_syntax.ML	Mon Aug 04 21:24:17 2008 +0200
@@ -22,7 +22,7 @@
 val eof = Lexicon.EndToken;
 fun is_eof tk = tk = Lexicon.EndToken;
 
-val stopper = (eof, is_eof);
+val stopper = Scan.stopper (K eof) is_eof;
 val not_eof = not o is_eof;
 
 val lexicon = Scan.make_lexicon