generator: Remove unused parameter.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 20 Oct 2010 12:35:43 +0000 (13:35 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 20 Oct 2010 12:35:43 +0000 (13:35 +0100)
commitfcd75e021a12fbd93c4d51fbca7844fdb4f7436f
tree780df594d9457bcf60b08cb7447618dcbbd8c377
parentdad3fcfefd7c013ecbe8fa04df032fefb619e7d6
generator: Remove unused parameter.

generate_c_call_args optional decl parameter is never actually
used, so remove it.
generator/generator_c.ml