#1243 OPTIMIZE_TOKEN_MANAGER option should be removed

master
closed
nobody
5
2013-09-23
2012-07-29
Egon Willighagen
No

It is no longer available from JavaCC 4 used in master, and results in this compile warning:

[javacc] Warning: Line 3, Column 1: Bad option name "OPTIMIZE_TOKEN_MANAGER". Option setting will be ignored.

Discussion

  • John May
    John May
    2013-09-23

    • status: open --> closed