generator: Remove unnecessary parameter.

The 'name' parameter is not used on the right hand side of the
match, so it can be removed.
This commit is contained in:
Richard Jones
2010-07-21 12:52:10 +01:00
parent 45a4cd7921
commit 2e7da2a2f3

View File

@@ -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 ->