src/Pure/Thy/thy_header.scala
changeset 43695 5130dfe1b7be
parent 43672 e9f26e66692d
child 43697 77ce24aa1770
     1.1 --- a/src/Pure/Thy/thy_header.scala	Wed Jul 06 23:11:59 2011 +0200
     1.2 +++ b/src/Pure/Thy/thy_header.scala	Thu Jul 07 13:48:30 2011 +0200
     1.3 @@ -75,7 +75,7 @@
     1.4  
     1.5    def read(reader: Reader[Char]): Header =
     1.6    {
     1.7 -    val token = lexicon.token(Isabelle_System.symbols, _ => false)
     1.8 +    val token = lexicon.token(_ => false)
     1.9      val toks = new mutable.ListBuffer[Token]
    1.10  
    1.11      @tailrec def scan_to_begin(in: Reader[Char])