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>
Tue, 17 Aug 2010 15:01:36 +0000 (16:01 +0100)
commit17de7c785c921aef542681ee66538508d270fdf3
tree98dd56306126db6462ce4be11fcb5de51a9c85b0
parent0288466564f1db24562bdcf226a545a4aa562fcc
generator: Remove unnecessary parameter.

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

Cherry picked from commit 2e7da2a2f3bbc6d6db148d7dc2ce238bf56f34db
and rebased for stable branch.
src/generator.ml