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 14:29:22 +0000 (15:29 +0100)
commita5e110c163c134277b975f2c93c221e52554ec28
tree407265a295b0beb15701543c1604e7a33bafd3f2
parent42e5af4ba555afa5c09f44c88c1f9252c596770b
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)
src/generator.ml