src/Pure/Isar/outer_syntax.scala
changeset 58503 ea22f2380871
parent 57911 dcb758188aa6
child 58694 983e98da2a42
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Tue Sep 30 18:44:01 2014 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Tue Sep 30 19:37:34 2014 +0200
     1.3 @@ -126,7 +126,7 @@
     1.4  
     1.5    def scan(input: CharSequence): List[Token] =
     1.6    {
     1.7 -    var in: Reader[Char] = new CharSequenceReader(input)
     1.8 +    val in: Reader[Char] = new CharSequenceReader(input)
     1.9      Token.Parsers.parseAll(
    1.10          Token.Parsers.rep(Token.Parsers.token(lexicon, is_command)), in) match {
    1.11        case Token.Parsers.Success(tokens, _) => tokens