declare trace_indent only if debug parser is enabled
@@ -837,7 +837,6 @@ public class ParseGen extends CodeGenerator implements JavaCCParserConstants {
}
genCodeLine("");
- genCodeLine(" " + staticOpt() + "private int trace_indent = 0;");
genCodeLine(" " + staticOpt() + "private " + Options.getBooleanType()
+ " trace_enabled;");
genCodeLine("");
@@ -848,6 +847,8 @@ public class ParseGen extends CodeGenerator implements JavaCCParserConstants {
genCodeLine("");
if (Options.getDebugParser()) {
+ genCodeLine(" " + staticOpt() + "private int trace_indent = 0;");
+
genCodeLine("/** Enable tracing. */");
genCodeLine(" " + staticOpt() + "final public void enable_tracing() {");
genCodeLine(" trace_enabled = true;");
