Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Tue, 30 Sep 2014 19:37:34 +0200
changeset 58503 ea22f2380871
parent 58502 d37c712cc01b
child 58504 5f88c142676d
tuned;
src/Pure/Isar/outer_syntax.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/outer_syntax.scala	Tue Sep 30 18:44:01 2014 +0200
+++ b/src/Pure/Isar/outer_syntax.scala	Tue Sep 30 19:37:34 2014 +0200
@@ -126,7 +126,7 @@
 
   def scan(input: CharSequence): List[Token] =
   {
-    var in: Reader[Char] = new CharSequenceReader(input)
+    val in: Reader[Char] = new CharSequenceReader(input)
     Token.Parsers.parseAll(
         Token.Parsers.rep(Token.Parsers.token(lexicon, is_command)), in) match {
       case Token.Parsers.Success(tokens, _) => tokens
isabelle