generator.ml: do not emit unused print_*_list functions
authorJim Meyering <meyering@redhat.com>
Mon, 17 Aug 2009 18:28:34 +0000 (20:28 +0200)
committerJim Meyering <meyering@redhat.com>
Tue, 18 Aug 2009 08:06:33 +0000 (10:06 +0200)
commit8966b137660fff6619905e842ef793c4c9ed4f6e
treea67511ca7cf4f218f5e02778bae292b1c709a6bc
parentc3be5c3297d18bfe2545914f0e07574430437ebe
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.
src/generator.ml