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)
* src/generator.ml (emit_print_list_function): New function.
Emit a function definition only if it will be used.


No differences found