diff options
| author | Jim Meyering <meyering@redhat.com> | 2009-08-17 20:28:34 +0200 |
|---|---|---|
| committer | Jim Meyering <meyering@redhat.com> | 2009-08-18 10:06:33 +0200 |
| commit | 8966b137660fff6619905e842ef793c4c9ed4f6e (patch) | |
| tree | a67511ca7cf4f218f5e02778bae292b1c709a6bc /python | |
| parent | c3be5c3297d18bfe2545914f0e07574430437ebe (diff) | |
generator.ml: do not emit unused print_*_list functions
* src/generator.ml (emit_print_list_function): New function.
Emit a function definition only if it will be used.
Diffstat (limited to 'python')
0 files changed, 0 insertions, 0 deletions