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)
The 'name' parameter is not used on the right hand side of the
match, so it can be removed.

src/generator.ml

index 6ef85fd..2fb3f48 100755 (executable)
@@ -7971,10 +7971,10 @@ and generate_fish_cmds () =
 
       List.iter (
         function
-        | Device name | String name
-        | OptString name | Bool name
-        | Int name | Int64 name
-        | BufferIn name -> ()
+        | Device _ | String _
+        | OptString _ | Bool _
+        | Int _ | Int64 _
+        | BufferIn _ -> ()
         | Pathname name | Dev_or_Path name | FileOut name ->
             pr "  free (%s);\n" name
         | FileIn name ->