| Index: tools/lexer_generator/generator.py
|
| diff --git a/tools/lexer_generator/generator.py b/tools/lexer_generator/generator.py
|
| index d50920bc3dfbae37dffc8fa80ee9a30e3b4abbaa..c45d0cc3d14ef527411cd3f8b0da1b00b069e829 100644
|
| --- a/tools/lexer_generator/generator.py
|
| +++ b/tools/lexer_generator/generator.py
|
| @@ -109,7 +109,9 @@ if __name__ == '__main__':
|
| if args.minimize_default:
|
| if args.no_verify_default:
|
| DfaMinimizer.set_verify(False)
|
| - rule_processor.default_automata().minimal_dfa()
|
| + dfa = rule_processor.default_automata().dfa()
|
| + mdfa = rule_processor.default_automata().minimal_dfa()
|
| + print "nodes reduced from %s to %s" % (dfa.node_count(), mdfa.node_count())
|
| DfaMinimizer.set_verify(True)
|
|
|
| html_file = args.html
|
|
|