FIX: parsing of doc options
authorDavid Waern <davve@dtek.chalmers.se>
Tue, 2 Oct 2007 14:37:13 +0000 (14:37 +0000)
committerDavid Waern <davve@dtek.chalmers.se>
Tue, 2 Oct 2007 14:37:13 +0000 (14:37 +0000)
commit5ccedd80f734c4e2d3789f399880b589dec8c70e
tree31ba73d18bf24f5a49b422ecba33e1baf01183d2
parent591f4528375b0a049de6c15fe6d4ab476362f448
FIX: parsing of doc options

Lexing of the doc options pragma was changed, but but no change was
made to the parser to reflect that. This patch fixes this problem.

MERGE TO STABLE
compiler/parser/Parser.y.pp