generator.ml: factor out "pr_args n" function
authorJim Meyering <meyering@redhat.com>
Wed, 12 Aug 2009 08:57:03 +0000 (10:57 +0200)
committerJim Meyering <meyering@redhat.com>
Thu, 13 Aug 2009 12:45:34 +0000 (14:45 +0200)
commit3a5a66de8f847a0ff11fdcf6c1644e19aa54c0f7
tree55a9de071d28b1b2a7ea744387736db9a886377c
parent08c27722647d14a30648dd02e221e1e803d1189e
generator.ml: factor out "pr_args n" function
src/generator.ml