From: Richard Jones <rjones@redhat.com>
Date: Wed, 21 Jul 2010 11:52:10 +0000 (+0100)
Subject: generator: Remove unnecessary parameter.
X-Git-Tag: 1.5.1~3
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=2e7da2a2f3bbc6d6db148d7dc2ce238bf56f34db;p=libguestfs.git

generator: Remove unnecessary parameter.

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

diff --git a/src/generator.ml b/src/generator.ml
index 6ef85fd..2fb3f48 100755
--- a/src/generator.ml
+++ b/src/generator.ml
@@ -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 ->