generator: Remove unnecessary parameter.
authorRichard Jones <rjones@redhat.com>
Wed, 21 Jul 2010 11:52:10 +0000 (12:52 +0100)
committerRichard Jones <rjones@redhat.com>
Wed, 21 Jul 2010 11:52:10 +0000 (12:52 +0100)
commit2e7da2a2f3bbc6d6db148d7dc2ce238bf56f34db
treedda2e1aa87821a35015a0b78d62f7fbe2004cd19
parent45a4cd79215752234c4a5a47fb4c9c6741b1594c
generator: Remove unnecessary parameter.

The 'name' parameter is not used on the right hand side of the
match, so it can be removed.
src/generator.ml