generator: Remove unused variable.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 24 Nov 2010 12:42:17 +0000 (12:42 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 24 Nov 2010 12:42:17 +0000 (12:42 +0000)
commit4e3837d0f31af26dd460f7196323af10aac24be1
treee4a704baa3fb01e3f1519a5c6cb778debed09688
parentd20b9cd6b82e26dd2f8cf43d9cc8f1e518f2e077
generator: Remove unused variable.
generator/generator_c.ml