1.1 --- a/src/Pure/Isar/parse.scala	Mon Jul 30 13:42:45 2012 +0200
     1.2 +++ b/src/Pure/Isar/parse.scala	Mon Jul 30 13:44:40 2012 +0200
     1.3 @@ -77,7 +77,8 @@
     1.4      /* wrappers */
     1.5  
     1.6      def parse[T](p: Parser[T], in: Token.Reader): ParseResult[T] = p(in)
     1.7 -    def parse_all[T](p: Parser[T], in: Token.Reader): ParseResult[T] = parse(phrase(p), in)
     1.8 +    def parse_all[T](p: Parser[T], in: Token.Reader): ParseResult[T] =
     1.9 +      parse(p <~ eof, in)
    1.10    }
    1.11  }
    1.12